The LEGO Proof Assistant

Not in any way associated with the LEGO Group of Companies, nor created or endorsed by the LEGO Group.

---

• What is LEGO?
• LEGO projects
• LEGO system and documentation by release -- including the LEGO Library.
  • Current Release Version 1.3.1 (November 1998)
  • Previous Release Version 1.3 (June 1998)
  • Old Release Version 1.2 (1995)
• Literature
• Example proof developments
• Proof General (Emacs interface)
• Tools
• FTP information
• Support and further development of LEGO

Other links:

• Related Courses
  • Computer Aided Formal Reasoning
  • Topics in Type Theory 1996,1997
  • LEGO Summerschool 1995
• Associated Grants
  • Applications of a Type Theory Based Proof Assistant
  • Basic Research Action 6453 TYPES: Types for Proofs and Programs

---

Last updated on 13 January 1999 by <lego@dcs.ed.ac.uk>.