Introducing TamaSwap, the first provably unhackable DEX.
- No-free-lunch theorem, machine-checked via Lean
- Onchain HTML interface, forever online
- No protocol fees, no-code deploy to any EVM chain
Built with Tama + Verity. AGPL license.
The platonic ideal of xy=k.