Extending #HoTT With strict equality Laisser une réponse Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types Cliquer pour accéder à sstypes-slides-capriotti.pdf Voir l’article original