There are 0 repository under lcf-style topic.
Simple LCF-style proof assistant for ZFC
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
silly automated prover for minimal propositional logic
The Supervisionary proof-checking kernel for higher-order logic
Prototype for LCF-style theorem proving, verified by the compiler and execution-less.
Semester Project at LARA (EPFL)