2 results found Sort:

19
92
gpl-3.0
10
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
5
75
unknown
5
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