Built with Alectryon, running Coq+SerAPI. Bubbles () indicate interactive fragments: hover for details, tap to reveal contents. Use Ctrl+↑ Ctrl+↓ to navigate, Ctrl+🖱️ to focus. On Mac, use instead of Ctrl.

Stylesheets and Pygments stylesheets

To compile:

$ DOCUTILSCONFIG=tests/stylesheets.docutils.conf \
    alectryon stylesheets.v --pygments-style emacs -o - \
    | sed -r '/^ *<style type="text.css">/,/^ *<.style>/ { /^ *<style |<.style>|Alectryon/b; d}' \
    > stylesheets.html
  # reST → HTML; produces ‘stylesheets.html’

$ DOCUTILSCONFIG=tests/stylesheets.docutils.conf \
    alectryon stylesheets.v --pygments-style emacs --backend latex -o - \
    | sed -r '/^% embedded stylesheet/,/^\\makeatother/ { /^\\makeat|Alectryon/b; d}' \
    > stylesheets.part.tex
  # reST → LaTeX; produces ‘stylesheets.part.tex’
Nat.add = fix add (n m : nat) {struct n} : nat := match n with | 0 => m | S p => S (add p m) end : nat -> nat -> nat Arguments Nat.add (_ _)%nat_scope