arXiv:2405.10387 [math.AG]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords grothendieck, formalise mathematics, mathematicians Tags conference paper Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset