a public good project by the
Synthesis
Company
of California

© 2026

SETHEO: A high-performance theorem prover | doi.page

0 citations0 references

Google Scholar doi.org

SETHEO: A high-performance theorem prover

Journal of Automated Reasoning·1992·Vol. 8(2)

Citations Over TimeTop 1% of 1992 papers

Reinhold Letz, J. Schümann, Stefan Bayerl, Wolfgang Bibel

Related Papers

→ Isabelle as Document-Oriented Proof Assistant(2011)29 cited
Cooperative Integration of an Interactive Proof Assistant and an Automated Prover(2006)
→ Integrating an Automated Prover for Projective Geometry as a New Tactic in the Coq Proof Assistant(2021)1 cited