ve fragments: hover for details, tap to reveal contents. Use <kbd>Ctrl+‚Üë</kbd> <kbd>Ctrl+‚Üì</kbd> to navigate, <kbd>Ctrl+üñ±Ô∏è</kbd> to focus. On Mac, use <kbd>‚åò</kbd> instead of <kbd>Ctrl</kbd>.</div><div class="document" id="literate-programming-with-alectryon-lean3-input">
<h1 class="title">Literate programming with Alectryon (Lean3 input)</h1>

<p>Alectryon supports literate programs and documents (combinations of code and prose) written in Lean3 and reStructuredText.  Here i