Simon Cruanes
1 repositories
washington DC
Imandra (@imandra-ai)
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.