Back
LCF (theorem prover)
Redirect to:
Logic for Computable Functions
From
Wikipedia
, the free encyclopedia · View on
Wikipedia
Developed by
Nelliwinne
