Login / Signup

Open Higher-Order Logic.

Ugo Dal LagoFrancesco GavazzoAlexis Ghyselen
Published in: CSL (2023)
Keyphrases
  • higher order logic
  • higher order
  • theorem prover
  • conditional logic
  • logical framework
  • theorem proving