+
+ System and Specification
+ (updated ).
+
Informational pages on the specifications are provided.
The formal specification of λδ version 2
- is available in the following formats:
+ is available in the following formats.
Informational pages on the parts of the specification:
Background,
@@ -87,33 +75,77 @@
Applications.
+
+ The scripts are grouped in directories, first by part, then by component.
+
+
+ the scripts are checked by the latest version of Matita from
+ HELM Git repository.
+
The formal specification of λδ version 1
- is available in the following formats:
+ is available in the following formats.
+
+ Informational pages on the parts of the specification:
+ Background,
+ Core.