Geeks
danielepusceddu
/
lean4-amm
Formalizing Automated Market Makers in Lean 4
Primary Language
Lean
lean4-amm GitHub
Markdown
Readme
0
Issues
7
Stargazers
3
Watchers
Watchers
bitbart
University of Cagliari
danielepusceddu
Zurich, Switzerland
petitnau