nono2357 on Nostr: Verity, Formally Verified Smart Contract Compiler (Lean 4) Verity, Formally Verified Smart Contract Compiler (Lean 4) https://veritylang.com/
