Séminaire « Pratiques déductives algorithmiques dans les mathématiques pré-algébriques »

https://stl.hypotheses.org/643