(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#ldJ4">Documentation (J4)</a>.
+ <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>
Supports λδ "Version 2" with naive implementation of impredicative sort inclusion.
Features importation from <a href="http://www.win.tue.nl/automath/">Automath</a>
and exportation to <a href="http://www.w3.org/XML/">XML</a>.
- <a href="http://lambdadelta.info/documentation.html#ldR4">Documentation (R4)</a>.
+ <a href="http://lambdadelta.info/documentation.html#ldR2a">Documentation (R2a)</a>.
[Svn revision: 10304] (<a href="http://lambdadelta.info/download/helena_0.8.0.tar.gz">archived source code</a>).
<ul>
<li>
<div xmlns:ld="http://lambdadelta.info/" class="spacer">
<br />
</div>
- <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 21 Feb 2015 23:38:38 +0100</div>
+ <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 06 Mar 2015 17:53:24 +0100</div>
</body>
</html>