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