agrothendieck agrothendieck.github.io issues - Githubissues

agrothendieck / agrothendieck.github.io

THÈMES POUR UNE HARMONIE

https://agrothendieck.github.io/

21 stars 3 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

audio files for lectures?

#5 natdwight opened 2 months ago
1
Slideshow of quotes

#4 carmonamateo closed 3 years ago
2
Cleanup HTML

#3 nojb closed 3 years ago
5
Notations

#2 DavidMichaelRoberts closed 4 years ago
6
Progress document

#1 DavidMichaelRoberts closed 4 years ago
2