Code about logic stuff like propositional logic and first-order logic.
Following the University of Cambridge lecture series, "Logic and Proof" being lectured by Prof Mateja Jamnik
OCaml is French I think so I'm writing some things in French... because.
(It feels especially French when I write something like type my_type = | A | B | C | ...
and it reads well as "soit A, soit B, soit C, ...")