A Logical Relation for Martin-Löf Type Theory in Agda
-
Updated
Jun 27, 2024 - Agda
A Logical Relation for Martin-Löf Type Theory in Agda
Add a description, image, and links to the modality topic page so that developers can more easily learn about it.
To associate your repository with the modality topic, visit your repo's landing page and select "manage topics."