[–] samvoar 2y ago ↗ there's an english translation:https://mikepierce.github.io/grothendieck-kimchi/translation...
1 comment
[ 3.7 ms ] story [ 15.3 ms ] threadhttps://mikepierce.github.io/grothendieck-kimchi/translation...