Sign inSign up

mikepierce/grothendieck-kimchi

Web published translation of Grothendieck's essay on kimchi

HTMLStars 15Forks 4Watchers 15Open issues 1License MIT License
Details
仓库信息
Ownermikepierce
Homepagehttps://mikepierce.github.io/grothendieck-kimchi
GitHubhttps://github.com/mikepierce/grothendieck-kimchi
Last pushed2024-02-10
Last updated2025-12-15
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--