- <a href="http://lambdadelta.info/specification.html#v1">version 1</a>
- </td>
- <td class="snsn capitalize green">(<a href="http://lambdadelta.info/ground_1.html">background</a> - <a href="http://lambdadelta.info/basic_1.html">core</a>)</td>
- <td class="snsn capitalize green">(<a href="http://lambdadelta.info/static/matita/lambdadelta/">static HELM directory</a>)</td>
- <td class="snss capitalize green">
- <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
- </td>
- <td class="sssn capitalize green">
- <br />