profile image

Inferara

We use formal methods to prove the correctness of Rust code on the blockchain.
Read Our Papers