3 results found Sort:

awesomo4000
awesome-provable awesomo4000
10
201
unknown
9
A curated set of links to formal methods involving provable code.
coq agda sel4 idris isabelle isabelle-hol formal-verification certified-programming
Created 2017-11-10
16 commits to master branch, last one 3 years ago
au-ts
cogent au-ts
27
162
other
20
Cogent Project
file-systems isabelle-hol verification co-generation programming-languages
Created 2016-05-01
2,378 commits to master branch, last one 21 days ago
jaalonso
Lecturas_GLC jaalonso
8
75
gpl-3.0
12
Readings on computational logic, interactive theorem proving and functional programming.
coq itp logic prolog haskell leanprover isabelle-hol logic-programming functional-programming
Created 2016-12-31
1,699 commits to master branch, last one 18 hours ago