search

ryankeleti / ega

amateur translation project of Grothendieck's EGA.
https://ryankeleti.com/ega
317 stars 33 forks source link

finished ega-2.4.4 #167

Closed thosgood closed 4 years ago

thosgood commented 4 years ago

going to take a small break now