An implementatino of λ2 system, with some simple properties
Primary LanguageCoq
This repository is not active