文件名称：TPP2014:定理证明和可靠理论和实现的证明
文件大小：161KB
文件格式：ZIP
更新时间：2024-07-29 02:07:49
Coq
TPP2014 定理证明和可靠理论和实现的证明 亚当·奇利帕拉 (Coq) 西里·科恩（Ssreflect） 佐藤大辅（Coq） Fadoua Ghourabi (伊莎贝尔 / HOL) 雅克·加里格斯 (Coq) 坂口和彦（Ssreflect） 中正和久（Mizar） 辻本圭（HOL Light） 须田圭司（Ssreflect） 酒井正彦（Agda） 佐藤正弘（Coq） 山本光治（Ssreflect，HOL4） 森口宗介（Coq） 宫本隆 (Coq) 平井洋一（Ssreflect） 自 2014/11/19 以来的公共存储库。 TPP2014研讨会HP： ://imi.kyushu-u.ac.jp/lasm/tpp2014/
【文件预览】：
TPP2014-master
----SosukeMoriguchi()
--------tpp2014.v(13KB)
----FadouaGhourabi()
--------TPPmark2014.thy(9KB)
--------TPPmark2014.pdf(118KB)
----DaisukeSato()
--------TPPmake2014_by_coq.v(5KB)
----MitsuharuYamamoto()
--------tpp2014.sml(3KB)
--------tpp2014.v(2KB)
----TakashiMiyamoto()
--------tppmark2014.v(7KB)
----KeishiSuda()
--------TPPmark2014.v(2KB)
----MasahiroSakai()
--------TPPmark2014.agda(18KB)
----CyrilCohen()
--------TPPmark2014.v(1KB)
----AdamChlipala()
--------tppmark.v(8KB)
----README.md(779B)
----KeiTsujimoto()
--------20141124.ml(8KB)
--------20141115.ml(3KB)
--------20141130.ml(2KB)
----MasahiroSato()
--------TPP2014.v(26KB)
----JacquesGarrigue()
--------tpp2014.v(5KB)
----KazuhikoSakaguchi()
--------solution.v(2KB)
----KazuhisaNakasho()
--------TPP2014.htm(118KB)
--------tpp2014.miz(5KB)
----YoichiHirai()
--------tppmark_hirai.v(2KB)