3 results found Sort:

A curated set of links to formal methods involving provable code.
Created 2017-11-10
16 commits to master branch, last one 3 years ago
27
161
other
21
Cogent Project
Created 2016-05-01
2,376 commits to master branch, last one 2 years ago
Readings on computational logic, interactive theorem proving and functional programming.
Created 2016-12-31
1,656 commits to master branch, last one a day ago