Mathematician ⋄ University Instructor ⋄ Linux Nerd ⋄ Typography Buff
mikepierce / grothendieck-kimchi Goto Github PK
View Code? Open in Web Editor NEWWeb published translation of Grothendieck's essay on kimchi
Home Page: https://mikepierce.github.io/grothendieck-kimchi
License: MIT License