meta-theory topic
List
meta-theory repositories
dot
153
Stars
12
Forks
Watchers
formalization of the Dependent Object Types (DOT) calculus
unsound
74
Stars
4
Forks
Watchers
Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
abella
88
Stars
17
Forks
Watchers
An interactive theorem prover based on lambda-tree syntax
dafny-sandbox
21
Stars
1
Forks
Watchers
Dafny for Metatheory of Programming Languages