GitHub - wvs-finance/cfmm-lean: Formalization of Constant Function Market Makers in Lean 4 — trading functions, convex duality, equilibrium, and optimization

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
CFMMLib		CFMMLib
.gitignore		.gitignore
CFMMLib.lean		CFMMLib.lean
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain

About

Formalization of Constant Function Market Makers in Lean 4 — trading functions, convex duality, equilibrium, and optimization

No releases published