Formalizing Automated Market Makers in the Lean 4 Theorem Prover.
Daniele PuscedduMassimo BartolettiPublished in: CoRR (2024)
Keyphrases
- theorem prover
- theorem proving
- first order logic
- term rewriting
- automated reasoning
- inference rules
- automated theorem proving
- formal proof
- automated deduction
- higher order logic
- semi automated
- proof search
- formal semantics
- computer algebra
- stock market
- natural deduction
- electronic markets
- timed automata
- stock price
- boolean algebra