ALF (theorem prover)

Redirect to:

• ALF (proof assistant)