Anton Trunov
@falsenov
748
Followers
628
Following
11
Media
280
Statuses
Compiler and formal methods engineer (Coq, TLA+, Rust, OCaml); now building @tact_language , previously @swaylang , @zilliqa and @IMDEA_Software
Don't wanna be here?
Send us removal request.