[\lambda\delta home]
cic:/BOLOGNA/lambdadelta/ground_1/ (background for λδ version 1)

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)
Summary of the Specification [butterfly]
Here is a numerical account of the specification's contents and its timeline.
category objects

sizes files 10 characters 15063 nodes 14881
propositions theorems 0 lemmas 50 total 50
concepts declared 24 defined 4 total 28
Logical Structure of the Specification [butterfly]
This table reports the specification's components and their planes.
component plane files

multiple relocation bg_plist

extensions to the library bg_hints bg_blt

generated logical decomposables bg_types bg_props

preamble bg_require bg_rewrite bg_tactics bg_subst

[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:50 +0200