[\lambda\delta home]
cic:/matita/lambdadelta/apps_2/ (applications of λδ version 2)

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)
Contents of the Specification [butterfly]
This specification comprises a collection of checked applications of λδ version 2. In particular it contains the components below.
Summary of the Specification [butterfly]
Here is a numerical account of the specification's contents and its timeline.
category units

sizes characters (files) 377 (1) nodes (objects) 783 (6) intrinsic loss factor 2.1
propositions theorems 2 lemmas 1 total 3
concepts declared 0 defined 3 total 3
Logical Structure of the Specification [butterfly]
This table reports the specification's components and their planes.
component plane files
examples terms with special features ex_cpr_omega

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

Last update: Wed, 17 Jan 2018 20:27:14 +0100