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 8 months ago