DEV Community

Georgii profile picture

Georgii

Inferara.com founder, formal methods researcher: Inference, Coq, Rust.

Work

Inferara founder