cic:/BOLOGNA/lambdadelta/ground_1/ (background for λδ version 1)
Summary of the Specification
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: Fri, 04 Mar 2016 16:15:59 +0100