https://simon.cedeela.fr [email protected]
Imandra (@imandra-ai) washington DC Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust.
Simon Cruanes
thread-local storage for OCaml
c-cube