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

Goedel doc fixes #165

Closed Zimmi48 closed 1 year ago

Zimmi48 commented 1 year ago

Minor fixes to the beginning of the documentation of Goedel.