TRAMP
From MaRDI portal
Software:33151
No author found.
Related Items (19)
Semi-intelligible Isar proofs from machine-generated proofs ⋮ Proof planning with multiple strategies ⋮ Computer supported mathematics with \(\Omega\)MEGA ⋮ Unnamed Item ⋮ Lemmatization for Stronger Reasoning in Large Theories ⋮ Automation for interactive proof: first prototype ⋮ Combined reasoning by automated cooperation ⋮ Mechanizing Mathematical Reasoning ⋮ Mechanizing Mathematical Reasoning ⋮ Unnamed Item ⋮ A Foundational View on Integration Problems ⋮ KI 2004: Advances in Artificial Intelligence ⋮ Efficiently checking propositional refutations in HOL theorem provers ⋮ Scalable fine-grained proofs for formula processing ⋮ Understanding Resolution Proofs through Herbrand’s Theorem ⋮ Hammering towards QED ⋮ An Interactive Derivation Viewer ⋮ Extending Sledgehammer with SMT solvers ⋮ Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
This page was built for software: TRAMP
