Towards Constructive Homological Algebra in Type Theory
Résumé
This paper reports on ongoing work on the project of representing the Kenzo system in type theory.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...