theoremprover-museum/LEGO

the source archive for LEGO: an interactive proof development system for various type theories

Lex