Armaël [email protected]

Open on social.treehouse.systems

computer science researcher (at Inria, Toccata team) · working on programming languages and verification · Coq, Iris, OCaml, hitting enemies with a large stick in Dark Souls

Articles Subscribers Subscriptions

Tom Goldoin @[email protected]

Aussi sur Twitter