3 results found Sort:

CakeML
cakeml CakeML
86
1.0k
bsd-3-clause
43
CakeML: A Verified Implementation of ML
hol sml compiler theorem-proving formal-semantics formal-verification programming-language
Created 2012-10-09
23,897 commits to master branch, last one 20 hours ago
aatxe
oxide aatxe
4
123
gpl-3.0
12
The essence of Rust.
rust semantics formal-semantics
This repository has been archived (exclude archived)
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 2 years ago