▲ 328 r/math
Terence Tao : Palomar - a registry of Lean verified mathematics
terrytao.wordpress.comu/Valvino — 2 days ago
▲ 658 r/math
Kevin Buzzard : "Human mathematicians are being outcounterexampled"
xenaproject.wordpress.comu/Valvino — 1 month ago
▲ 216 r/enseignants
Le ministre de l’Éducation annonce l’interdiction du téléphone portable au lycée à la rentrée
lefigaro.fru/Valvino — 2 months ago