This repo is for experiments in algebraic geometry in Lean 4.
git clone git@github.com:jonasvanderschaaf/grothendieck.git
cd grothendieck/
lake exe cache getjonasvanderschaaf/grothendieck
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|