cic:/BOLOGNA/lambdadelta/ground_1/ (background for λδ version 1)
Summary of the Specification
![[spacer]](http://lambdadelta.info/images/b6.png "lambdadelta butterfly")
Here is a numerical account of the specification's contents
and its timeline.
| category |
objects |
|
|
|
|
|
| sizes |
files |
10 |
characters |
15063 |
nodes |
|
| propositions |
theorems |
0 |
lemmas |
50 |
total |
50 |
| concepts |
declared |
24 |
defined |
4 |
total |
28 |
-
January 2015.
Update with backports from the abandoned specification of λδ version 2.
-
May 2008.
Specification is concluded.
-
May 2004.
Specification starts.
Logical Structure of the Specification
This table reports the specification's components and their planes.
Last update: Sat, 21 Feb 2015 23:38:38 +0100
![[lambdadelta home]](http://lambdadelta.info/images/crux_32.png "lambdadelta home")
![[Spacer]](http://lambdadelta.info/images/rainbow.png "lambdadelta rainbow rule")
![[Generated from XML via XSL]](http://lambdadelta.info/images/xml_xsl2.png "Generated from XML via XSL")
![[PNG used here]](http://lambdadelta.info/images/PNGnow2.png "PNG used here")
![[Viewable with any browser]](http://www.anybrowser.org/campaign/bvgraphics/abtfile.png "Viewable with any browser")