An implementatino of λ2 system, with some simple properties
Primary LanguageCoq
No one’s star this repository yet.