Volume: Vol-4241 PAAR 2026 | Year: 2026

Paper: « short1 | paper2 | short2 »

A light-weight proof checker for TSTP refutations

• Melanie Taprogge
• Happy Sariyanto
• Alexander Steen

PDF