Coqd: Coqtop Server

Coqd allows you to connect with a coqtop interactive session

API Reference

Base

Deals with Coq

class coqd.base.CoqProc(group=None, target=None, name=None, args=(), kwargs={})

Handles the shell process conncetion

run(conn)

Attempts to connect with the fork and send a command

start(modules)

Execs a new child for coqtop

terminate(Force=False)

Have the child terminate