2 results found Sort:

abella-prover
abella abella-prover
19
90
gpl-3.0
10
An interactive theorem prover based on lambda-tree syntax
meta-theory lambda-calculus interactive-theorem-proving
Created 2009-12-25
1,420 commits to master branch, last one 28 days ago
namin
unsound namin
4
74
unknown
5
Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
oop java scala unsound meta-theory
Created 2016-08-10
57 commits to master branch, last one about a year ago