Unsolvability of the Quintic Formalized in Dependent Type Theory
Origine : Fichiers produits par l'(les) auteur(s)