2 results found Sort:
An interactive theorem prover based on lambda-tree syntax
Created
2009-12-25
1,398 commits to master branch, last one 24 days 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