coq-serapi

Sexp Protocol for machine-based interaction with the Coq Proof Assistant