1 result found Sort:

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
Created 2020-10-20
1,855 commits to master branch, last one 10 months ago