cic:/BOLOGNA/lambdadelta/ground_1/ (background for λδ version 1)
Summary of the Specification
![[butterfly]](http://helm.cs.unibo.it/lambdadelta/images/b6.png "\lambda\delta butterfly")
Here is a numerical account of the specification's contents
and its timeline.
| category | objects |
|
|
|
|
|
| sizes | files | 10 | characters | 15063 | nodes | 14881 |
| 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: Tue, 22 Dec 2020 18:19:03 +0100
![[\lambda\delta home]](http://helm.cs.unibo.it/lambdadelta/images/crux_32.png "\lambda\delta home")
![[Spacer]](http://helm.cs.unibo.it/lambdadelta/images/rainbow.png "\lambda\delta rainbow rule")
![[Generated from XML via XSL]](http://helm.cs.unibo.it/lambdadelta/images/xml_xsl2.png "Generated from XML via XSL")
![[PNG used here]](http://helm.cs.unibo.it/lambdadelta/images/PNGnow2.png "PNG used here")
![[Viewable with any browser]](http://www.anybrowser.org/campaign/bvgraphics/abtfile.png "Viewable with any browser")