Login / Signup
Open Higher-Order Logic.
Ugo Dal Lago
Francesco Gavazzo
Alexis Ghyselen
Published in:
CSL (2023)
Keyphrases
</>
higher order logic
higher order
theorem prover
conditional logic
logical framework
theorem proving