Formalization of derived categories in Lean/mathlib - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2024

Formalization of derived categories in Lean/mathlib

Formalisation des catégories dérives dans Lean/mathlib

Joël Riou
  • Fonction : Auteur
  • PersonId : 1375078
Fichier principal
Vignette du fichier
derived-categories-v3.pdf (266.85 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-04546712 , version 1 (15-04-2024)
hal-04546712 , version 2 (02-05-2024)
hal-04546712 , version 3 (10-07-2024)

Licence

Identifiants

  • HAL Id : hal-04546712 , version 3

Citer

Joël Riou. Formalization of derived categories in Lean/mathlib. 2024. ⟨hal-04546712v3⟩

Collections

UNIV-PARIS-SACLAY
530 Consultations
351 Téléchargements

Partager

More