Summary of the Specification
+
![lambdadelta butterfly [spacer]](http://lambdadelta.info/images/b4.png)
Summary of the Specification
- ![\lambda\delta butterfly [butterfly]](http://lambdadelta.info/images/b4.png)
Here is a numerical acount of the specification's contents
+
Here is a numerical account of the specification's contents
and its timeline.
@@ -145,29 +152,29 @@
sizes
files
- 4
+ 1
characters
- 68581
+ 217
nodes
- 3637
+ 0
propositions
theorems
- 2
+ 0
lemmas
- 1
+ 0
total
- 3
+ 0
concepts
declared
- 3
+ 0
defined
- 9
+ 0
total
- 12
+ 0
@@ -191,7 +198,7 @@
The MLTT1 component is started.
-
@@ -251,6 +258,6 @@
-
Logical Structure of the Specification
+
![lambdadelta butterfly [spacer]](http://lambdadelta.info/images/b4.png)
Logical Structure of the Specification
![\lambda\delta butterfly [butterfly]](http://lambdadelta.info/images/b4.png)
This table reports the specification's components and their planes.
@@ -226,7 +233,7 @@
-
+
![lambdadelta rainbow rule [Spacer]](http://lambdadelta.info/images/rainbow.png)
![\lambda\delta rainbow rule [Spacer]](http://lambdadelta.info/images/rainbow.png)
@@ -251,6 +258,6 @@
Last update: Thu, 15 Jan 2015 16:54:45 +0100
+ Last update: Sun, 19 Feb 2017 19:57:18 +0100