coq_sensitivity:Coq中的灵敏度猜想 源码
概述 黄浩证明了Coq中的灵敏度猜想 工作正在进行中... 作者 丹尼尔·德·劳格劳德(Daniel de Rauglaudre) COQ版本 Coq校对助手,版本8.12.0(2020年11月),使用OCaml 4.11.0 + dev4-2020-05-05于2020年11月5日7:19:33编译
文件列表
coq_sensitivity-master.zip
(预估有个58文件)
coq_sensitivity-master
presentation
ringlike
.gitignore
36B
images
ordo13.png
1KB
ordo1.png
628B
ordo12.png
2KB
ordo3fond.png
2KB
ordo3coro.png
1KB
暂无评论