3 results found Sort:

CakeML
cakeml CakeML
85
978
other
44
CakeML: A Verified Implementation of ML
hol sml compiler theorem-proving formal-semantics formal-verification programming-language
Created 2012-10-09
23,806 commits to master branch, last one a day ago
aatxe
oxide aatxe
6
123
gpl-3.0
13
The essence of Rust.
rust semantics formal-semantics
Created 2017-06-09
731 commits to master branch, last one 3 years ago
kovvalsky
LangPro kovvalsky
12
116
bsd-3-clause
8
Tableau-based Theorem Prover for Natural Logic and Language
nli prolog natural-logic theorem-prover natural-tableau theorem-proving formal-semantics semantic-tableau lambda-logical-form natural-language-inference natural-language-processing
Created 2017-03-05
138 commits to master branch, last one about a year ago