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