Coqd: Coqtop Server
====================================
Coqd allows you to connect with a coqtop interactive session


API Reference
-------------

.. automodule:: coqd
   :members:

.. automodule:: coqd.base
   :members:

.. automodule:: coqd.connserv
   :members:

.. automodule:: coqd.runner
   :members:

.. automodule:: coqd.parser.gram
   :members:

.. automodule:: coqd.parser.lexer