Senior Rust/OCaml programmer at SimpleStaking - 1839 Bratislava, N/A, sk
Ocaml and Formal Verification Developer
Contact Isaac DeFrain
Software Engineer
Contact Vlad Melnik
Contact Zura Benashvili
Check our code at https://github.com/simplestaking