I've dipped my toes into machine-readable mathematical proofs. The theorem proving software called Coq [1] is written in OCaml. [1] https://en.wikipedia.org/w

I've dipped my toes into machine-readable mathematical proofs. The theorem proving software called Coq [1] is written in OCaml. [1] https://en.wikipedia.org/wiki/Coq_(software) https://en.wikipedia.org/wiki/Coq_(software)