¶
LCF
Please expand.
¶
Implementations of LCF
Stanford LCF
Edinburgh LCF
Cambridge LCF