Up: Contents Previous: FTP information


Users may obtain help from other users by two means: Alternatively, contact the package maintainer lego@dcs.ed.ac.uk.

Future Development

Edinburgh is no longer maintaining the LEGO system. Users are recommended to obtain help from other users via the mailing list eduni.dcs.lego@dcs.ed.ac.uk.

Current system developments at Edinburgh include dependent pattern-matching and a generic Emacs interface for proof systems. We plan to release these within the next 12 months.

In addition, an active research group of Computer-Assisted Reasoning at the University of Durham, whose members include two former members of the LEGO group, Zhaohui Luo and James McKinna, are continuing the research into theory, practice and applications of type theory based theorem proving, using the latest release of LEGO, as well as other systems.

Last updated on 9 June 1998 by <lego@dcs.ed.ac.uk>