<page xmlns="http://lambdadelta.info/"
description = "\lambda\delta home page"
title = "\lambda\delta home page"
<page xmlns="http://lambdadelta.info/"
description = "\lambda\delta home page"
title = "\lambda\delta home page"
<list><item>
The translated specification of Landau's "Grundlagen der Analysis"
is validated in CC by <link to="http://coq.inria.fr/">Coq 8.4.3</link>.
<list><item>
The translated specification of Landau's "Grundlagen der Analysis"
is validated in CC by <link to="http://coq.inria.fr/">Coq 8.4.3</link>.
is updated with backports from the abandoned specification of λδ version 2.
</news>
<news class="gamma" date="December 2014.">
is updated with backports from the abandoned specification of λδ version 2.
</news>
<news class="gamma" date="December 2014.">
- <rlink to="implementation.html#v0">"Helena 0.8.0"</rlink> is released and the
- <rlink to="implementation.html#lddl">λδ Digital Library</rlink> is started.
+ <rlink to="html/implementation.html#v0">"Helena 0.8.0"</rlink> is released and the
+ <rlink to="html/implementation.html#lddl">λδ Digital Library</rlink> is started.