4 ms·
This is cool I guess intros based on the structure of mathlib could work for people who haven't published their own textbooks.
by majikaja 1y ago
This is cool
I guess intros based on the structure of mathlib could work for people who haven't published their own textbooks.