Lean backend#217

Merged

anjapetkovic merged 21 commits intomainfrom

Apr 3, 2026

Commits on Mar 12, 2026

Initial commit
Lean 4 VS Code Extension
committed

Commits on Mar 13, 2026

WIP: Lean backend
anjapetkovic
committed

Commits on Mar 16, 2026

debug based on erc20 and amm examples
anjapetkovic
committed

Commits on Mar 20, 2026

Merge branch 'main' into lean
anjapetkovic
committed

Commits on Mar 25, 2026

Commits on Apr 2, 2026

Removed left-over hypotheses
lefterislazar
committed
Modified ERC and AMM specs to be compatible with LEAN, and all tests link to same file
lefterislazar
committed
Added automatic test for compilation of LEAN tests (no theories)
lefterislazar
committed

Commits on Apr 3, 2026

Update Doc to incorporate latest changes in hypotheses
lefterislazar
committed