2 results found Sort:
An interactive theorem prover based on lambda-tree syntax
Created
2009-12-25
1,431 commits to master branch, last one about a month ago
Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
Created
2016-08-10
57 commits to master branch, last one about a year ago