issues
search
coq-community
/
hydra-battles
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
https://coq-community.org/hydra-battles/doc/hydras.pdf
MIT License
68
stars
12
forks
source link
Switchv12
#148
Closed
Casteran
closed
1 year ago