proof-handling.rst « proof-engine « sphinx « doc - coq - The formal proof system

about summary refs log tree commit diff

path: root/doc/sphinx/proof-engine/proof-handling.rst

blob: 7f5aacbfdb49efeed6430fee613375fe29a10ce6 (plain)

:orphan:

.. raw:: html

   <meta http-equiv="refresh" content="0;URL=../proofs/writing-proofs/proof-mode.html">