\lambda\delta home page

$[\lambda\delta home]$

cic:/BOLOGNA/lambdadelta/ground_1/ (background for λδ version 1)

$\lambda\delta rainbow rule$

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 $\lambda\delta butterfly$

Here is a numerical account of the specification's contents and its timeline.

January 2015. Update with backports from the abandoned specification of λδ version 2.

Logical Structure of the Specification $\lambda\delta 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

$\lambda\delta rainbow rule$

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