<td class="snns component green">
<a href="http://lambdadelta.info/implementation.html">implementation</a>
</td>
- <td class="ssnn component green">(<a href="http://lambdadelta.info/implementation.html#specifications">specifications</a>
- <a href="http://lambdadelta.info/implementation.html#lddl">library</a>
- <a href="http://lambdadelta.info/implementation.html#helena">Helena</a>)</td>
+ <td class="ssnn component green">(<a href="http://lambdadelta.info/implementation.html#specifications">specifications</a> - <a href="http://lambdadelta.info/implementation.html#lddl">library</a> - <a href="http://lambdadelta.info/implementation.html#helena">Helena</a>)</td>
</tr>
<tr>
<td class="snns sky">
<td class="snns green">
<a href="http://lambdadelta.info/version_2.html">Version 2</a>
</td>
- <td class="ssnn green">
- <a href="http://lambdadelta.info/ground_2.html">Background</a>
- <a href="http://lambdadelta.info/basic_2.html">Core</a>
- <a href="http://lambdadelta.info/apps_2.html">Applications</a>
- </td>
+ <td class="ssnn green">(<a href="http://lambdadelta.info/ground_2.html">Background</a> - <a href="http://lambdadelta.info/basic_2.html">Core</a> - <a href="http://lambdadelta.info/apps_2.html">Applications</a>)</td>
</tr>
<tr>
<td class="snss sky">
Exploits a subset of "complete_rg" λδ as the intermediate language.
Features importation from ".hln" files containing λδ textual syntax.
The overall validation speed of the "Grundlagen der Analysis"
- increases of 22% with respect toversion 0.8.0.
+ increases of 22% with respect to version 0.8.0.
[Svn revision: 11032] (<a href="http://lambdadelta.info/download/helena_0.8.1.tar.gz">archived source code</a>)
<ul>
<li>
Supports "basic_rg" λδ 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#ldp6">Documentation</a>.
+ <a href="http://lambdadelta.info/documentation.html#ldR4">Documentation (R4)</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: Sun, 20 Jul 2014 15:02:32 +0200</div>
+ <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 20 Jul 2014 16:13:31 +0200</div>
</body>
</html>