formal-applied-math/formal-mathfin
Formally verified mathematical finance in Lean 4. Black–Scholes/Greeks/PDE, Itô calculus, FTAP/Girsanov, CRR→BS convergence, Merton jump-diffusion.
Lean
Stars
36
Forks
12
License
Apache-2.0
Open Issues
141
Updated
8m ago
No README available
Related Projects
OpenBB-finance/OpenBB
Open Data Platform for analysts, quants and AI agents.
73.2k
Python
questdb/questdb
QuestDB is a high performance, open-source, time-series database
17.3k
Java
OpenByteInc/QuantDinger
Open-source AI Trading OS and commercial-ready multi-tenant SaaS platform — research markets, build Python strategies, backtest, paper/live trade, and monitor crypto, stocks, and forex, with built-in user management, billing, payments, and settlement to launch and operate your own trading service.
11.7k
Python
spacejam/sled
the champagne of beta embedded databases
9.1k
Rust
shy3130/tick-stock-panel
TSP自托管、零运维的 A 股「选股 + 监控 + 回测」量化工作台 | LLM能力驱使策略定制+个股分析+复盘 | 自由接入第三方数据源与个性化扩展数据 | 个人开源
4.8k
Python
ligurio/sqa-wiki
My own notes (drafts mostly) about software quality
2.3k
Statistics
- Stars
- 36
- Forks
- 12
- Open Issues
- 141
- Created
- May 08, 2026
- Updated
- Sep 18, 2026