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

Dev #157

Closed Casteran closed 1 year ago

Casteran commented 1 year ago

Development branch: simplifications of goedel library; redaction of associated pdf documentation