The following pages link to LCF (Q20369):
Displaying 7 items.
- Program Development in Computational Logic (Q5712543) (← links)
- (Q5875430) (← links)
- Preface (Q5894305) (← links)
- Efficient verified (UN)SAT certificate checking (Q5919480) (← links)
- A formal proof of the expressiveness of deep learning (Q5919583) (← links)
- The Watson theorem prover (Q5947358) (← links)
- The control layer in open mechanized reasoning systems: Annotations and tactics (Q5950930) (← links)