All

3 repositories

formal-foundry
Public
Leanstral autoformalization foundry for formal-mathfin (private)
Python
•0•0•0•0•Updated Aug 18, 2026Aug 18, 2026
formal-mathfin
Public
Formally verified mathematical finance in Lean 4. Black–Scholes/Greeks/PDE, Itô calculus, FTAP/Girsanov, CRR→BS convergence, Merton jump-diffusion.
theorem-proving formal-methods option-pricing
theorem-proving formal-methods option-pricing quantitative-finance formal-verification mathematical-finance black-scholes derivatives-pricing mathlib stochastic-calculus
Lean
•
Apache License 2.0
•7•30•139•0•Updated Aug 17, 2026Aug 17, 2026
formal-econometrics
Public
Formally verified econometric identification in Lean 4. Potential outcomes, difference-in-differences, and the identification-as-projection spine.
Python
•0•0•1•0•Updated Aug 10, 2026Aug 10, 2026

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.