theoremprover-museum / LCF77

Licence: other
The original Edinburgh LCF.

Programming Languages

common lisp
692 projects
emacs lisp
2029 projects
Standard ML
205 projects
Roff
2310 projects
NewLisp
63 projects
Isabelle
26 projects

LCF77

The original Edinburgh LCF.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].