Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.
-
https://ahrefs.com/
- washington DC
-
21:08
(UTC -04:00) - https://simon.cedeela.fr
- @c_cube@hachyderm.io
Search results
0 open and 0 closed projects found.-
No open projects