GitHub repository: mapehe/hartshorne
Primary language: Lean
Created: 2025-04-20T17:16:26Z
Description: An attempt to formalize some theorems presented in Algebraic Geometry by Robin Hartshorne