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