×
You are not logged in
Bluesky Profile
Formal Land
Registered: 21 Nov 2024 13:46
Last post: n/a
Formal verification for everyday-life applications
We use math to ensure your code has no vulnerabilities
For Rust, Solidity, zk circuits. We use Rocq.
https://formal.land/
This account allows followers on Bluesky to be notified of new posts from this account.
| formalland.bsky.social PDS: meadow.us-east.host.bsky.network 2024-11-21 13:46:13 |