X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fspecification.html;h=c627c3cb196be8cb1076d78df4034567ec0d453e;hb=4e75ab41fb7a0a9a4f66cb777a791ce3950c57ce;hp=380924ebdb870f2fe2a2fd0dd792511654fce71b;hpb=56dd0e9f60e0dabfb587b014755fd4dad27960bb;p=helm.git diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index 380924ebd..c627c3cb1 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -1,9 +1,114 @@ -\lambda\delta home page
[\lambda\delta home]
The Formal Systems of the λδ (\lambda\delta) Family
[Spacer]

homenewsspecification

documentationimplementation
forewordmilestonesversion 2(background - core - applications)
version 2helenaOpen Symbolic Notation (OSN)
citationsvisibilityversion 1(background - core)(static HELM directory)version 1library(static LDDL directory)
Computer-checked formal specifications [butterfly]
+ + + + + + + + \lambda\delta home page + + + + + + +
+ + [\lambda\delta home] + +
+
The Formal Systems of the λδ (\lambda\delta) Family
+
+ [Spacer] +
+
+
+
+
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ home + + news + + specification + +
+ 		+
+ 		+ documentation + + implementation + +
+
+ foreword + + milestones + + version 2 + (background - core - applications) +
+ 		+ version 2 + + helena + + Open Symbolic Notation (OSN) +
+ citations + + visibility + + version 1 + (background - core)(static HELM directory) + version 1 + + library + (static LDDL directory)
+
+
Computer-checked formal specifications [butterfly] +
+
The systems of the λδ family are developed as machine-checked digital specifications, and are listed in the next table, which includes the major milestones. -
+
+
The life cycle of a specification consists of four periods. Alpha: the definitions are designed and the major propositions are proved, @@ -15,71 +120,264 @@ while major changes and additions are announced and reported on paper. Delta: after its conclusion, the specification is modified just for maintenance. -
versionnamestagedeveloped withstartedannouncedreleasedconcludedreferences
Version 3"basic_3"J3a
Version 2"basic_2""A2"Matita 0.99.3October 2015


"A1"Matita 0.99.2April 2011June 2014October 2014August 2015V2aR2c
AbandonedCoq 7.3.1March 2008February 2011
Version 1"basic_1"Coq 7.3.1May 2004December 2005November 2006May 2008V1aJ1a
+
+
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
versionnamestagedeveloped withstartedannouncedreleasedconcludedreferences
+ Version 3 + "basic_3" + + + + + + + J3a +
+ Version 2 + "basic_2""A2" + Matita 0.99.3 + October 2015 + + + +
+
+ 		+
+ 		"A1" + Matita 0.99.2 + April 2011June 2014October 2014August 2015 + V2a + R2c +
Abandoned + + + Coq 7.3.1 + March 2008 + + February 2011 +
+ Version 1 + "basic_1" + + Coq 7.3.1 + May 2004December 2005November 2006May 2008 + V1a + J1a +
+
+
Informational pages on the specifications are provided. -
+ +
[butterfly] λδ version 3 (proposed)
+ + + +
+ [butterfly] λδ version 3 (proposed)
+
The formal specification of λδ version 3 is forthcoming. -
[butterfly] λδ version 2 (active)
+
+ +
+ [butterfly] λδ version 2 (active)
+
The formal specification of λδ version 2 is available in the following formats: -
+
Informational pages on the parts of the specification: Background, Core, Applications. -
[butterfly] λδ version 1 (superseded)
+
+ +
+ [butterfly] λδ version 1 (superseded)
+
The formal specification of λδ version 1 is available in the following formats: -
+
The scripts are grouped in directories, one for each part. -
+ +
+ Notice: the HELM rendering engine is offline. + + +
Informational pages on the parts of the specification: Background, Core. -
[Spacer]

[Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]

Last update: Thu, 09 Mar 2017 13:38:16 +0100
+
+
+ [Spacer] +
+
+
+
+
+ + [Valid XHTML 1.1] + + + [Valid CSS level 2] + + + [Generated from XML via XSL] + + + [PNG used here] + + + [Viewable with any browser] + +
+
+
+
+
Last update: Sat, 11 Mar 2017 19:30:40 +0100
+ +