3 results found Sort:

awesomo4000
awesome-provable awesomo4000
8
188
unknown
10
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 2 years ago
au-ts
cogent au-ts
26
156
other
22
Cogent Project
file-systems isabelle-hol verification co-generation programming-languages
Created 2016-05-01
2,376 commits to master branch, last one about a year ago
jaalonso
Lecturas_GLC jaalonso
8
62
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,468 commits to master branch, last one 18 hours ago