科克（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次)