Technical Report

The LEGO library

Details

Citation

Jones C & Maharaj S (1993) The LEGO library. University of Edinburgh. http://www.dcs.ed.ac.uk/home/lego/html/release-1.2/library/newlib.html

Abstract
This report describes the current LEGO library, which was designed as a basis upon which users can develop their own work, and also some example proof developments using this library. An earlier version of the library was developed by Savi Maharaj for use by students being introduced to the LEGO system. We hope that this version will provide useful preliminaries for all users.

StatusPublished
Publication date31/12/1993
Publisher URLhttp://www.dcs.ed.ac.uk/…rary/newlib.html

People (1)

Dr Savi Maharaj

Dr Savi Maharaj

Senior Lecturer, Computing Science