EN: Math tutorials and in-depth cheatsheets | FR: Tutoriels de maths, et fiches techniques approfondies.

Your no-nonsense guide to the Math used in Artificial Intelligence

🧮 A collection of resources to learn mathematics for machine learning

Lean 4 programming language and theorem prover

Lean 3's obsolete mathematical components library: please use mathlib4

A library to generate LaTeX expression from Python code.