meta-theory

There are 5 repositories under meta-theory topic.

namin/dot
formalization of the Dependent Object Types (DOT) calculus
155 17 012
abella-prover/abella
An interactive theorem prover based on lambda-tree syntax
Language:OCaml90 10 14119
namin/unsound
Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
Language:HTML74 5 54
namin/dafny-sandbox
Dafny for Metatheory of Programming Languages
Language:Dafny22 4 03
Gradual-Typing/LambdaIFCStar
The Agda mechanization of a gradual security-typed programming language with general mutable references.
Language:Agda4 1 01