<story><title>Coq 8.13</title><url>https://coq.inria.fr/news/coq-8-13-0-is-out.html</url></story><parent_chain><item><author>frollo</author><text>I&amp;#x27;ve never hated a piece of software with the same burning passion I reserve for Coq, but I&amp;#x27;m happy to see they are still around releasing new way to brutalize the mind of the unprepared.</text></item></parent_chain><comment><author>bidirectional</author><text>I&amp;#x27;d be interested in hearing why, or at least hearing the context behind it (i.e. there&amp;#x27;s a big difference between an undergrad forced to use it for a project and a dependent types researcher who prefers Lean)?</text></comment>
<story><title>Coq 8.13</title><url>https://coq.inria.fr/news/coq-8-13-0-is-out.html</url></story><parent_chain><item><author>frollo</author><text>I&amp;#x27;ve never hated a piece of software with the same burning passion I reserve for Coq, but I&amp;#x27;m happy to see they are still around releasing new way to brutalize the mind of the unprepared.</text></item></parent_chain><comment><author>tobmlt</author><text>This is a beautiful, dark humored, hilarious comment.  Thanks for it!</text></comment>