Python bindings for the Coq interactive proof assistant

OCaml48

2 years ago

coqmachine-learningpython

A port of Coq to Javascript -- Run Coq in your Browser

2other

2 years ago

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

OCaml116other

5 months ago

coqjsonmachine-learning-api