2 results found Sort:

18
90
gpl-3.0
10
An interactive theorem prover based on lambda-tree syntax
Created 2009-12-25
1,399 commits to master branch, last one 14 days ago
4
74
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