hydra-battles
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
65 stars
9 watching
12 forks
Language: Coq
last commit: 8 months ago
Linked from 2 awesome lists
coqcoq-nix-toolboxdiscrete-mathematicsdocker-coq-actionformal-proofshydra-battlesordinal-notationsprimitive-recursive-functions