[\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 objects

sizes files 1 characters 377 nodes 779
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
functional reduction and type machine rtm rtm_step ( ? ⇨ ? )

relocation lift ( ↑[?,?] ? )
examples terms with special features ex_sta_ldec ex_cpr_omega ex_fpbg_refl ex_snv_eta

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

Last update: Sun, 16 Apr 2017 15:42:49 +0200