The RISCTP Software - Equality and Theory Support for the MESON Prover
Completion requirements
PDF
Click slides.pdf link to view the file.