About Armaël
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
Lists
Armael has no public lists
Timeline
Armael has no activity yet