swils / hydra-battles Goto Github PK
View Code? Open in Web Editor NEWThis project forked from coq-community/hydra-battles
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
Home Page: https://coq-community.org/hydra-battles/doc/hydras.pdf
License: MIT License