The following pages link to (Q3789101):
Displaying 26 items.
- Using typed lambda calculus to implement formal systems on a machine (Q688571) (← links)
- Theo: An interactive proof development system (Q688727) (← links)
- A framework for proof systems (Q707742) (← links)
- A Prolog technology theorem prover: Implementation by an extended Prolog compiler (Q1114446) (← links)
- Unification under a mixed prefix (Q1201348) (← links)
- Implementing tactics and tacticals in a higher-order logic programming language (Q1311396) (← links)
- A proof procedure for the logic of hereditary Harrop formulas (Q1311397) (← links)
- Program tactics and logic tactics (Q1380427) (← links)
- The foundation of a generic theorem prover (Q1823013) (← links)
- Higher-order unification revisited: Complete sets of transformations (Q1823936) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- Uniform proofs as a foundation for logic programming (Q2640596) (← links)
- Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0 (Q2819200) (← links)
- (Q3075241) (← links)
- Focusing in Linear Meta-logic (Q3541726) (← links)
- Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages (Q5049000) (← links)
- Higher-order unification with dependent function types (Q5055716) (← links)
- Proof-producing synthesis of ML from higher-order logic (Q5168887) (← links)
- Representing proof transformations for program optimization (Q5210798) (← links)
- Implementing type theory in higher order constraint logic programming (Q5236551) (← links)
- Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs (Q5403086) (← links)
- α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic (Q5504659) (← links)
- Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic (Q5756497) (← links)
- The practice of logical frameworks (Q5878905) (← links)
- On extensibility of proof checkers (Q6061878) (← links)
- Tactical theorem proving in program verification (Q6488526) (← links)
