The following pages link to TRAMP (Q33151):
Displaying 19 items.
- Semi-intelligible Isar proofs from machine-generated proofs (Q287340) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Combined reasoning by automated cooperation (Q946572) (← links)
- Efficiently checking propositional refutations in HOL theorem provers (Q1006729) (← links)
- Extending Sledgehammer with SMT solvers (Q2351158) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- Proof planning with multiple strategies (Q2389631) (← links)
- Automation for interactive proof: first prototype (Q2432769) (← links)
- Understanding Resolution Proofs through Herbrand’s Theorem (Q2851942) (← links)
- An Interactive Derivation Viewer (Q2867942) (← links)
- Lemmatization for Stronger Reasoning in Large Theories (Q2964472) (← links)
- (Q4428312) (← links)
- (Q4808725) (← links)
- Hammering towards QED (Q5195271) (← links)
- A Foundational View on Integration Problems (Q5200111) (← links)
- KI 2004: Advances in Artificial Intelligence (Q5450782) (← links)
- Mechanizing Mathematical Reasoning (Q5717445) (← links)
- Mechanizing Mathematical Reasoning (Q5717449) (← links)
- Scalable fine-grained proofs for formula processing (Q5919479) (← links)
