我很无聊,所以我在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次)