Twee
From MaRDI portal
Cited in
(10)- Jukebox
- Efficient encodings of first-order Horn formulas in equational logic
- Twee: an equational theorem prover
- Ground joinability and connectedness in the superposition calculus
- Guiding an automated theorem prover with neural rewriting
- AC simplifications and closure redundancies in the superposition calculus
- Waldmeister
- MadMax
- The CADE-28 Automated Theorem Proving System Competition – CASC-28
- ACER
This page was built for software: Twee
