gitaskhub
tripp-smith/lean-lfse↗

Lazy Financial Scenario Engine in Lean 4

Language · Lean
License · MIT
Ask anything about this repo to start.
Full explanation on explaingit →

By chatting or signing in you agree to the Terms and chat-message logging (revocable in History).