X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=efa88a1ed0f62c99e3a65647a96e66fb236af788;hb=2a6ee971c38ab91a1cd04b3d822f2f475bde8077;hp=684c81c6cf8a2c7eac70f1862a23684f113cf47a;hpb=bda0d7ea2a1aecb2bacd82972d476fbd9d63f4dc;p=helm.git diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index 684c81c6c..efa88a1ed 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 @@ -16,200 +16,673 @@
- [lambdadelta home] + [\lambda\delta home]
cic:/matita/lambdadelta/ground_2/ (background for λδ version 2)
- [Spacer] + [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 + + helena + +
+
+ citations + + visibility + + version 1 + (background - core)(static HELM directory) + version 1 + + library + (static LDDL directory)
+
+
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].
-
+
- - - + + - - - - - - - - - - - + + + + + + + - - - - - - - + + + + + + + - - - - - - - + + + + + + +
categoryobjects + categoryobjects
+
+
+
+
sizesfiles29characters46886nodes61467sizesfiles79characters96548nodes207514
propositionstheorems2lemmas183total185propositionstheorems23lemmas497total520
conceptsdeclared40defined25total65conceptsdeclared53defined50total103
-