Next: What is LEGO?

The LEGO Proof Assistant

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


Other links:

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