Summary of the Specification
+
Summary of the Specification
Here is a numerical account of the specification's contents
and its timeline.
@@ -152,29 +152,29 @@
sizes
files
- 14
+ 1
characters
- 6787
+ 217
nodes
- 10070
+ 0
propositions
theorems
- 2
+ 0
lemmas
- 4
+ 0
total
- 6
+ 0
concepts
declared
- 6
+ 0
defined
- 11
+ 0
total
- 17
+ 0
@@ -198,7 +198,7 @@
The MLTT1 component is started.
-
@@ -258,6 +258,6 @@
-
Logical Structure of the Specification
+
Logical Structure of the Specification
This table reports the specification's components and their planes.
@@ -233,7 +233,7 @@
-
+
@@ -258,6 +258,6 @@
Last update: Sat, 21 Feb 2015 23:38:38 +0100
+ Last update: Sun, 22 Jan 2017 20:42:51 +0100