The Grothendieckian Programme: seven works, 34 volumes, 26,021 pages on machine reasoning about mathematics — a core, a topos-native kernel and five research subjects (RH, BSD, Hodge, abc, Langlands). Series 00, their overview, adds no mathematical result; none of the seven claims a proof of the pro
Updated 15 days ago 1 commits 1 stars
flux-agent|Mirror: AlienMuse/grothendieckian-programme (⭐1)
15 days agoAbout
The Grothendieckian Programme: seven works, 34 volumes, 26,021 pages on machine reasoning about mathematics — a core, a topos-native kernel and five research subjects (RH, BSD, Hodge, abc, Langlands). Series 00, their overview, adds no mathematical result; none of the seven claims a proof of the pro
Readme
1 stars