GLEFATINF: A Graphic Framework for Combining Theorem Provers and Editing Proofs for Different Logics.

Ricardo Caferra Michel Herment

Published in: DISCO (1993)

Keyphrases

theorem prover
higher order logic
theorem proving
inference rules
formal proof
main contribution
automated reasoning
first order logic
programming language
formal semantics
computer algebra
proof search
proof planning