Twee
From MaRDI portal
swMATH28632MaRDI QIDQ40346FDOQ40346
Author name not available (Why is that?)
Official website: http://nick8325.github.io/twee/
Cited In (10)
- Guiding an automated theorem prover with neural rewriting
- AC simplifications and closure redundancies in the superposition calculus
- Waldmeister
- MadMax
- Twee: an equational theorem prover
- ACER
- The CADE-28 Automated Theorem Proving System Competition – CASC-28
- Efficient encodings of first-order Horn formulas in equational logic
- Ground joinability and connectedness in the superposition calculus
- Jukebox
This page was built for software: Twee
