Masahiro Sakai
-
2011-08-14T00:00:48+0000
- 更新日時:
2011-08-14T00:00:48+0000
formalized Lawvere's fixed-point theorem in Coq with ConCaT.
Lawvere's fixed-point theorem formalized in Coq with ConCaT — Gist
共有中: 一般公開
