Repository · steady
Smart contract language with formal verification. Built with Zig for safety and performance
stars
26
forks
1
contributors
open issues
8
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.