learn-lean — les mathématiques du secondaire, démontrées en Lean (lean.commutator.io)
La preuve formelle à gauche, sa rédaction française à droite.
Les mathématiques du secondaire français, démontrées en Lean. ~ Michel Hua. lean.commutator.io
0 comments — live from bluesky
No comments yet.