.. nodoctest
.. _sage.misc.proof:
Whether or not computations are provably correct by default
===========================================================
.. This file has been autogenerated.
.. automodule:: sage.misc.proof
:members:
:undoc-members:
:show-inheritance:
