s an example written in Lean3.  It can be converted to reST, HTML, or LaTeX using the following commands:</p>
<pre class="literal-block">
alectryon --frontend lean3+rst literate_lean3.lean
    # Coq+reST ‚Üí HTML;  produces ‚Äòliterate_lean3.html‚Äô
alectryon --frontend lean3+rst literate_lean3.lean --backend latex \
     --latex-dialect xelatex \
     -o literate_lean3.xe.tex
    # Coq+reST ‚Üí LaTeX; produces ‚Äòliterate_lean3.xe.tex‚Äô
alectryon --frontend lean3+rst literate_lean3