Contributor
@bartlomiejkrolikowski
repos
4
ecosystems
2
languages
commits
1,474
Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.
Parity's ink! to write smart contracts.
Formal Land website
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
