2 results found Sort:

CakeML
cakeml CakeML
85
968
other
44
CakeML: A Verified Implementation of ML
hol sml compiler theorem-proving formal-semantics formal-verification programming-language
Created 2012-10-09
23,535 commits to master branch, last one a day ago
data61
PSL data61
9
65
other
9
This repository has no description...
hol itp psl proof isabelle induction conjecture proof-search formal-proofs formal-methods proof-assistant machine-learning proof-strategies formal-verification artificial-intelligence domain-specific-language interactive-theorem-proving
Created 2016-08-10
1,559 commits to master branch, last one 28 days ago