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