###############################
Code Documentation
###############################

You can find the ``coqdoc`` documentation for |project| and related packages at
the following links.

- `bedrock.prelude <./_static/coqdoc/bedrock.prelude.html/toc.html>`__.

- `bedrock.lang <./_static/coqdoc/bedrock.lang.html/toc.html>`__.

- `bedrock.upoly <./_static/coqdoc/bedrock.upoly.html/toc.html>`__.

- `Lens <./_static/coqdoc/Lens.html/toc.html>`__.

- `Lens.Elpi <./_static/coqdoc/Lens.Elpi.html/toc.html>`__.

Some |project|-specific examples are linked below. These are *not* sufficient for
learning how to use |project|.

- `Logic <./_static/coqdoc/bedrock.noimport.html/bedrock.noimport.doc.cpp.logic.html>`__

- `Notations <./_static/coqdoc/bedrock.noimport.html/bedrock.noimport.doc.cpp.notations.html>`__

- `Sequential Specs/Proofs <./_static/coqdoc/bedrock.noimport.html/bedrock.noimport.doc.cpp.howto_sequential.html>`__

- `Classes <./_static/coqdoc/bedrock.noimport.html/bedrock.noimport.doc.cpp.class_representations.html>`__