+ </li>
+ </ul>
+ <ul xmlns:ld="http://lambdadelta.info/" id="v2">
+ <li>
+ <span class="emph gamma">Version 0.8.2 (2015-02).</span>
+ Uses λδ version 3 with layer variables as core language.
+ Supports exportation to Gallina
+ (the specification language of <a href="http://coq.inria.fr/">Coq</a>),
+ and to Grafite
+ (the specification language of <a href="http://matita.cs.unibo.it/">Matita</a>).
+ The overall validation speed of the "Grundlagen der Analysis"
+ increases of 34% with respect to version 0.8.1.
+ <a href="http://lambdadelta.info/documentation.html#ldJ3a">Documentation (J3a)</a>.
+ [Svn revision: 13035] (<a href="http://lambdadelta.info/download/helena_0.8.2.tar.gz">archived source code</a>).
+ <ul>
+ <li class="">
+ The specification of Landau's "Grundlagen der Analysis"
+ for <a href="http://coq.inria.fr/">Coq 8</a>:
+ <a href="http://lambdadelta.info/download/grundlagen_2.v">grundlagen_2.v</a>
+ (revised <span class="emph gamma">2015-02</span>).
+ </li>
+ <li class="">
+ The specification of Landau's "Grundlagen der Analysis"
+ for <a href="http://matita.cs.unibo.it/">Matita 0.99.2</a>:
+ <a href="http://lambdadelta.info/download/grundlagen_2.tar.bz2">grundlagen_2.tar.bz2</a>
+ (revised <span class="emph gamma">2015-02</span>).
+ </li>
+ <li class="">
+ The corrected specification of Landau's "Grundlagen der Analysis":
+ <a href="http://lambdadelta.info/download/grundlagen_2.aut">grundlagen_2.aut</a>
+ (revised <span class="emph gamma">2014-12</span>).
+ </li>
+ <li class="">
+ <span class="emph gamma">2015-02.</span>
+ The translated specification of Landau's "Grundlagen der Analysis"
+ is successfully validated in CC by <a href="http://coq.inria.fr/">Coq 8.4.3</a>.
+ </li>
+ <li class="">
+ <span class="emph gamma">2014-12.</span>
+ The corrected specification of Landau's "Grundlagen der Analysis"
+ is successfully validated in λδ version 3.
+ </li>
+ </ul>
+ </li>