- λδ is developed as a machine-checked digital specification.
- It comes in several versions listed in the next table,
- which includes the major milestones.
+ 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.
@@ -128,52 +127,94 @@
version |
name |
- developed with |
stage |
+ developed with |
started |
announced |
released |
- concluded |
+ concluded |
+ references |
+
+
+
+ Version 3
+ |
+ "basic_3" |
+ |
+ |
+ |
+ |
+ |
+ |
+
+ J3a
+ |
Version 2
|
"basic_2" |
+ "A2" |
+
+ Matita 0.99.3
+ |
+ October 2015 |
+ |
+ |
+ |
+ |
+
+
+
+
+ |
+
+
+ |
+ "A1" |
Matita 0.99.2
|
- "A" |
April 2011 |
June 2014 |
October 2014 |
- |
+ August 2015 |
+
+ V2a
+ R2c
+ |
Abandoned |
|
+ |
Coq 7.3.1
|
- |
March 2008 |
|
|
- February 2011 |
+ February 2011 |
+ |
Version 1
|
"basic_1" |
+ |
Coq 7.3.1
|
- |
May 2004 |
December 2005 |
November 2006 |
- May 2008 |
+ May 2008 |
+
+ V1a
+ J1a
+ |
@@ -181,7 +222,7 @@
Informational pages on the specifications are provided.
-
The formal specification of λδ version 2
is available in the following formats:
@@ -208,9 +256,10 @@
The formal specification of λδ version 1
is available in the following formats:
@@ -240,10 +289,11 @@
lambdadelta_1 for Coq 7.3.1
- (revised
2015-01).
+ (revised
2015-09).
Source scripts.
+
Documentation (J1a).
-
+
@@ -327,6 +378,6 @@
-
Last update: Mon, 19 Jan 2015 23:52:51 +0100
+
Last update: Fri, 24 Nov 2017 21:00:00 +0100