GitHub repository: mikepierce/grothendieck-kimchi
Primary language: HTML
Created: 2020-03-05T16:44:53Z
Description: Web published translation of Grothendieck's essay on kimchi