Hi, I'm Simon. Most of my information can be found at the following places:
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust.
-
Imandra (@imandra-ai)
- washington DC
-
17:12
(UTC -04:00) - https://simon.cedeela.fr
- @[email protected]
Pinned Loading
-
ocaml-containers
ocaml-containers PublicA lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
-
sneeuwballen/zipperposition
sneeuwballen/zipperposition PublicAn automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, cl…
-
tiny_httpd
tiny_httpd PublicMinimal HTTP server using good old threads + blocking IO, with a small request router.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.