an3-lean-s-intro-h-0">1</a>, <a class="alectryon-mref reference internal" href="#literate-lean3-lean-s-and-intro-h-h-0">2</a>), quotes (<samp class="alectryon-inline highlight"><!-- Generator: Alectryon -->p ‚àß q</samp>) and assertions should work.</p>
<pre class="alectryon-block highlight"><!-- Generator: Alectryon -->q ‚àß p ‚Üí p ‚àß q</pre><p>For now, please refer to the main README and to the Coq examples for more information.</p>
</div>
</div>
</div></body>
</html>
