Tools

• Emacs proof environment (Proof General)

  The new interface to LEGO and other proof systems.

• LaTeXLEGO

  literate programming environment

• LEGOGREP

  search for definitions, proved lemmas, etc

• LEGOSTAT

  generate time statistics for checking LEGO modules

• lego2html

  CGI script which generates html pages from of a LEGO source file

• Old Emacs proof environment

  The old interface to the LEGO machine