knuton/la-girafe-sportive
Coq-verified statements about lambda calculi.
GitHub repository with 5 stars and 2 forks.
Language: Coq
Latest metric snapshot
2026-07-15: 5 stars and 2 forks.
Coq-verified statements about lambda calculi.
GitHub repository with 5 stars and 2 forks.
Language: Coq
2026-07-15: 5 stars and 2 forks.