Formalization of derived categories in Lean/mathlib
Formalisation des catégories dérives dans Lean/mathlib
Origine | Fichiers produits par l'(les) auteur(s) |
---|---|
Licence |
Origine | Fichiers produits par l'(les) auteur(s) |
---|---|
Licence |
Joël Riou : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04546712
Soumis le : mercredi 10 juillet 2024-10:40:09
Dernière modification le : mardi 8 octobre 2024-18:40:00