iron

Coq formalizations of functional languages.

GitHub

141 stars
20 watching
10 forks
Language: Coq
last commit: over 4 years ago
coqcoq-formalizationslambda-calculusprooftheory

Screenshot of discus-lang/iron website

iron.ouroborus.net