Summary of the Specification
+ Summary of the Specification
Here is a numerical acount of the specification's contents
and its timeline.
+ Nodes are counted according to the "intrinsinc complexity measure"
+ [F. Guidi: "Procedural Representation of CIC Proof Terms"
+ Journal of Automated Reasoning 44(1-2), Springer (February 2010),
+ pp. 53-78].
category | -objects | -+ | category | +objects | +
|
- + |
|
- + |
|
- + |
|
- + |
|
sizes | files | -4 | +4 | characters | -3928 | +2567 | nodes | 3637 |
component | -plane | -files | -+ | component | +plane | +files | +
|
Physical Structure of the Specification
+ Physical Structure of the Specification
The source files are grouped in directories,
one for each component.
@@ -187,6 +191,6 @@
Last update: Sat, 01 Jun 2013 18:41:06 +0200
+ Last update: Tue, 05 Aug 2014 23:07:40 +0200