- λδ 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,30 +127,43 @@
version |
name |
- developed with |
stage |
+ developed with |
started |
announced |
released |
concluded |
references |
+
+
+ Version 3
+ |
+ "basic_3" |
+ |
+ |
+ |
+ |
+ |
+ |
+
+ J3a
+ |
+
Version 2
|
"basic_2" |
+ "A2" |
- Matita 0.99.2
+ Matita 0.99.3
|
- "A2" |
October 2015 |
|
|
|
-
-
- |
+ |
@@ -160,10 +172,10 @@
|
|
-
-
- |
"A1" |
+
+ Matita 0.99.2
+ |
April 2011 |
June 2014 |
October 2014 |
@@ -176,27 +188,25 @@
Abandoned |
|
+ |
Coq 7.3.1
|
- |
March 2008 |
|
|
February 2011 |
-
-
- |
+ |
Version 1
|
"basic_1" |
+ |
Coq 7.3.1
|
- |
May 2004 |
December 2005 |
November 2006 |
@@ -212,7 +222,7 @@
Informational pages on the specifications are provided.
-
+
-
Notice on displayed numerical acounts:
nodes are counted according to the "intrinsic complexity measure"
@@ -220,7 +230,7 @@
Journal of Automated Reasoning 44(1-2), Springer (February 2010), pp. 53-78].
-
+
-
Notice on displayed logical structures:
from the logical standpoint, the source scripts are grouped in "planes"
@@ -229,9 +239,16 @@
introduced in each script, is shown in parentheses (? are placeholders).
+
+
+
![\lambda\delta butterfly [spacer]](http://lambdadelta.info/images/b8.png)
λδ version 3 (proposed)
+
+ The formal specification of λδ version 3
+ is forthcoming.
+
-
![lambdadelta butterfly [spacer]](http://lambdadelta.info/images/b4.png)
λδ version 2 (active)
+
λδ version 2 (active)
The formal specification of λδ version 2
is available in the following formats:
@@ -263,7 +280,7 @@
-
![lambdadelta butterfly [spacer]](http://lambdadelta.info/images/b6.png)
λδ version 1 (superseded)
+
λδ version 1 (superseded)
The formal specification of λδ version 1
is available in the following formats:
@@ -336,7 +353,7 @@
Core.
-
![lambdadelta rainbow rule [Spacer]](http://lambdadelta.info/images/rainbow.png)
+
@@ -361,6 +378,6 @@
-
Last update: Thu, 10 Dec 2015 16:21:42 +0100
+
Last update: Sun, 22 May 2016 15:25:26 +0200