A formally verified options hedging engine combining Lean 4 theorem proving with Python numerical computing. Every portfolio state transition (every trade, every mark-to-market update, every option ...
"Backtesting took a whole day," or "I have to manually re-enter parameters every time I change currency pairs"—have you ever had experiences like these? As an engineer, I use data to verify standard ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results