Similar Items: Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
- Some observations on the logical foundations of inductive theorem proving
- A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving
- Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability
- Extensions of Languages in Polish Notation
- Benchmarking Testing in Automated Theorem Proving
- Proving Soundness of Extensional Normal-Form Bisimilarities