
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.













