#

e-m-type

Here is 1 public repository matching this topic...

Ontarch / ALMA

Coinductive formal ontology in Agda

algebra containers physics quantum-mechanics type-theory category-theory agda safe cosmos formal-verification coinduction coalgebra formal-ontology cubical-compatible e-m-type indexed-m-type-over-an-edge-family indexed-m-types transport-free subst-free

Updated Oct 12, 2026
Agda

Add this topic to your repo

To associate your repository with the e-m-type topic, visit your repo's landing page and select "manage topics."