Inadvertently typed λ-join-calculus
Primary LanguageCoqOtherNOASSERTION
This repository is not active