rocq-community / hydra-battlesLinks

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
75Updated 4 months ago

Alternatives and similar repositories for hydra-battles

Users that are interested in hydra-battles are comparing it to the libraries listed below

Sorting: