Tools

Tools $\lambda\delta butterfly$

Î»Î´ Digital Library (LDDL)

+ Open Symbolic Notation

- The Î»Î´ Digital Library is part of HELM - and contains resources expressed in the systems of the Î»Î´ family. + Open Symbolic Notation, abbreviated OSN, + is an easy and flexible data-interchange text format + intended for the lightweight representation of + generic abstract syntax trees in the domain of formal systems. + Additional information will appear soon.

- Contents: - Landau's "Grundlagen der Analysis" - (from Jutting's specification in Automath). -

- Access: - static pages (updated 2015-01), - data set (updated 2014-12), - HELM server URL (updated 2014-12). -

- Examples: - - Grundlagen's definition "t234" - in Î»Î´ version 4. -

Helena

@@ -265,8 +247,37 @@ +

+ $[\lambda\delta digital library logo]$ Î»Î´ Digital Library (LDDL)

+ The Î»Î´ Digital Library is part of HELM + and contains resources expressed in the systems of the Î»Î´ family. +

+ Contents: + Landau's "Grundlagen der Analysis" + (from Jutting's specification in Automath). +

+ Access: + static pages (updated 2015-01), + data set (updated 2014-12), + HELM server URL (updated 2014-12). +

+ Examples: + + Grundlagen's definition "t234" + in Î»Î´ version 4. +

+ $\lambda\delta rainbow rule$

@@ -291,6 +302,6 @@

Last update: Sat, 23 Jan 2016 00:45:18 +0100

Last update: Fri, 08 Apr 2016 22:51:19 +0200