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
63
stars
12
forks
source link
bullets in Ackermann
#136
Closed
Casteran
closed
1 year ago
Casteran
commented
1 year ago
OK for merging.
OK for merging.