GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ coq-nix-toolbox
Top 1 coq-nix-toolbox open source projects
hydra-battles
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
✭ 38
Coq
coq
discrete-mathematics
formal-proofs
primitive-recursive-functions
ordinal-notations
docker-coq-action
hydra-battles
coq-nix-toolbox
1-1
of
1
coq-nix-toolbox projects
