formal-applied-math
Popular repositories Loading
-
formal-mathfin
formal-mathfin PublicFormally verified mathematical finance in Lean 4. Black–Scholes/Greeks/PDE, Itô calculus, FTAP/Girsanov, CRR→BS convergence, Merton jump-diffusion.
-
formal-foundry
formal-foundry PublicLeanstral autoformalization foundry for formal-mathfin (private)
Python
-
formal-econometrics
formal-econometrics PublicFormally verified econometric identification in Lean 4. Potential outcomes, difference-in-differences, and the identification-as-projection spine.
Python
Repositories
- formal-mathfin Public
Formally verified mathematical finance in Lean 4. Black–Scholes/Greeks/PDE, Itô calculus, FTAP/Girsanov, CRR→BS convergence, Merton jump-diffusion.
- formal-econometrics Public
Formally verified econometric identification in Lean 4. Potential outcomes, difference-in-differences, and the identification-as-projection spine.
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…