1 result found Sort:

coq-community
hydra-battles coq-community
12
68
mit
9
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
coq formal-proofs hydra-battles coq-nix-toolbox docker-coq-action ordinal-notations discrete-mathematics primitive-recursive-functions
Created 2020-10-20
1,855 commits to master branch, last one 8 months ago