GitHub repository: kbuzzard/DurhamAlgGeom2024
Primary language: Lean
Created: 2024-11-12T16:45:54Z
Description: Lean files for the 2024 Durham Computational Algebraic Geometry workshop