| | Formally verify a script in Coq (clarus.me) |
| 2 points by p4bl0 on March 6, 2015 | past | 1 comment |
|
| | Write a script in Coq (clarus.me) |
| 2 points by p4bl0 on March 6, 2015 | past | 1 comment |
|
| | Tutorial: A Hello World in Coq (with IO) (clarus.me) |
| 1 point by hme on Feb 23, 2015 | past |
|
| | A blog engine written and proven in Coq (clarus.me) |
| 185 points by jcurbo on Feb 12, 2015 | past | 58 comments |
|
| | Pluto: a first concurrent web server in Gallina (clarus.me) |
| 58 points by p4bl0 on Dec 5, 2014 | past | 9 comments |
|
