Login / Signup
Daniele Pusceddu
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Boolean Algebra
Timed Automata
Theorem Prover
Higher Order Logic
Top Venues
CoRR
FMBC@CAV
</>
Publications
</>
Daniele Pusceddu
,
Massimo Bartoletti
Formalizing Automated Market Makers in the Lean 4 Theorem Prover.
FMBC@CAV
(2024)
Daniele Pusceddu
,
Massimo Bartoletti
Formalizing Automated Market Makers in the Lean 4 Theorem Prover.
CoRR
(2024)