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