Georgii
Inferara.com founder, formal methods researcher, Coq, TLA+, Rust.
Work
Inferara founder
loading...
Inferara.com founder, formal methods researcher, Coq, TLA+, Rust.
Work
Inferara founder
Want to connect with Georgii?
Create an account to connect with Georgii. You can also sign in below to proceed if you already have an account.