我很无聊，所以我在coq里玩团体
i was bored so i played around with groups in coq (2024-03-27, Coq, 0KB, 下载0次)
Coq中用于玩工会发现的存储库，
A repository for playing with union-find in Coq, (2021-02-05, Coq, 0KB, 下载0次)
涉及天平的娱乐谜题的Coq形式化。，
Formalization in Coq of recreational puzzles involving scales., (2016-01-30, Coq, 0KB, 下载0次)
玩Coq...，
Playing with (2017-06-20, Coq, 0KB, 下载0次)
在Coq和Agda中玩保护递归，
Playing with guarded recursion in Coq and Agda, (2013-11-23, Coq, 0KB, 下载0次)
简单的coq伪编译器，用于玩关于日志的证明，
Simple coq dummy compiler for playing with proofs about logging, (2018-11-06, Coq, 0KB, 下载0次)
与名为Coq的校对助理一起玩，
Playing with the proof assistant known as Coq, (2022-09-28, Coq, 0KB, 下载0次)
玩gpt4，
playing with gpt4, (2023-03-17, Coq, 0KB, 下载0次)
科克（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次)