/formal-phi

Formalization of 𝜑-calculus in Agda.

Primary LanguageAgda

No issues in this repository yet.