<story><title>The Little Prover</title><url>https://the-little-prover.github.io/</url></story><parent_chain></parent_chain><comment><author>smaddox</author><text>Another very small proof system: &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;moonad&amp;#x2F;formcorejs&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;moonad&amp;#x2F;formcorejs&lt;/a&gt;&lt;p&gt;The core implementation is under 700 lines of JS, including the parser: &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;moonad&amp;#x2F;FormCoreJS&amp;#x2F;blob&amp;#x2F;master&amp;#x2F;FormCore.js&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;moonad&amp;#x2F;FormCoreJS&amp;#x2F;blob&amp;#x2F;master&amp;#x2F;FormCore.js&lt;/a&gt;&lt;p&gt;The author has since moved on to building a runtime with optimal evaluation (&lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;kindelia&amp;#x2F;hvm&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;kindelia&amp;#x2F;hvm&lt;/a&gt;) and a new proof language on top of that (&lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;Kindelia&amp;#x2F;Kind2&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;Kindelia&amp;#x2F;Kind2&lt;/a&gt;) with considerably better performance than existing proof systems.</text></comment>
<story><title>The Little Prover</title><url>https://the-little-prover.github.io/</url></story><parent_chain></parent_chain><comment><author>Bilal_io</author><text>The MIT Press URL says &amp;quot;Book not found...&amp;quot;</text></comment>