gitaskhub
portdeveloper/tama-experiment↗

Formally verified ERC20Lite (Tama/Verity), Lean-proven and deployed + Sourcify-verified on Monad testnet

Language · Lean
Ask anything about this repo to start.

By chatting or signing in you agree to the Terms and chat-message logging (revocable in History).