X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=b6e10865c94f9bb4ecabe6c6b11a1dff7ed4a83f;hb=72e835f5e6848c09faf6343fb7e276c88bfc1f2e;hp=f5e3701730ba40f824ad292f3aeceb17a4eda998;hpb=1f1eb9d91faf1e905d44b5f44943b2db8472cc74;p=helm.git diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index f5e370173..b6e10865c 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -6,8 +6,8 @@ - - background for \lambda\delta version 2 + + \lambda\delta home page @@ -23,15 +23,91 @@
[Spacer]
-
Summary of the Specification
-
Here is a numerical acount of the specification's contents +
+
+
+
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ home + + news + + specification + +
+
+
+
+ documentation + + implementation + +
+
+ foreword + + milestones + + version 2 + (background - core - applications) +
+
+ version 2 + + library + (static LDDL directory)
+ citations + + visibility + + version 1 + (background - core)(static HELM directory) + version 1 + + helena + +
+
+
+
Summary of the Specification [spacer] +
+
Here is a numerical account 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].
-
+
@@ -56,57 +132,72 @@ - + - + - + - + - + - + - + - + - +
sizes files3077 characters4664993034 nodes62380195875
propositions theorems214 lemmas187434 total189448
concepts declared4044 defined2537 total6581
-