Georgii

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

Joined on Apr 12, 2024 https://inferara.com

Work

Inferara founder

Georgii

Feb 24 '25

Commit to marriage with TLA+ pt.2

#programming #tlc #tlaplus

2 min read

Create an account to connect with Georgii. You can also sign in below to proceed if you already have an account.

Already have an account? Sign in

Georgii

Feb 16 '25

#programming #tla #modelchecking #temporallogic

12 min read

Georgii

Feb 8 '25

#programming #computerscience

2 min read

Georgii

Feb 1 '25

#ltl #ctl #smartcontract #security

3 min read

Georgii

Jan 25 '25

#formalmethods #coq #formalspecification #inference

2 min read