#Mathlib
Showing 2 of 2 repositories tagged #mathlib, ranked by stars
Crispher
MathlibExplorer
Visualizing the network of math theories.
Score
0
★ 633
⑂ 54
+1/day
Python
raphaelrrcoelho
formal-mathfin
Formally verified mathematical finance in Lean 4. Black–Scholes/Greeks/PDE, Itô calculus, FTAP/Girsanov, CRR→BS convergence, Merton jump-diffusion.
Score
0
★ 20
⑂ 5
+1/day
Lean