rocq-community/rocq-tricks
@rocq-community你希望 Coq 手册早点告诉你的技巧 [维护者=@tchajed]
星数
552
Fork 数
25
语言
Coq
许可
MIT
最后推送
1年前
相关情报（0）
还没有相关情报
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。
你希望 Coq 手册早点告诉你的技巧 [维护者=@tchajed]
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。