科克(Coq)中关于Kirby和Paris hydra战斗和其他娱乐数学的变体(协作,记录,包括练习)[maintainer=[@...](https:github.com Casteran),
Variations on Kirby & Paris hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran] (2023-07-11, Coq, 0KB, 下载0次)