The formal systems of the λδ (\lambda\delta) family are typed λ-calculi aiming to support
- the foundational frameworks for Mathematics that require an underlying specification language
- (for example the Minimalist Foundation
- and its predecessors).
+ the foundational frameworks for Mathematics that require an underlying specification language,
+ for example the
+ Minimalist Foundation (MF)
+ and its predecessors.
The λδ family is developed within the
- Hypertextual Electronic Library of Mathematics
- as a set of machine-checked digital specifications.
+ Hypertextual Electronic Library of Mathematics (HELM)
+ as a set of machine-checked digital specifications.
+
+
+ λδ-2B for for Matita 0.99.4
+ (released: ).
+ Documentation (J2a).
+
This is the family logo: crux_177.png
(revised ).
-
- To view this site correctly, please select a font
+
+ to view this site correctly, please select a font
with Unicode support.
- For example "Lucida Sans Unicode" (it should be already installed on your system).
- To change the current font follow:
- "Tools" menu â "Internet Options" entry â "General" tab â "Fonts" button.
+
+
+
@@ -40,6 +47,18 @@
This is a list of publications citing λδ documentation.