@[email protected]
Joined: 04/06/2017
16
Followers
70
Following
CompSci researcher at Inria (in the Toccata team)! · fiddling with computers for a living; sometimes for fun as well · Coq, Iris, OCaml, hitting enemies with a large stick in Dark Souls
Armael has no public lists
Armael has no activity yet