THINKER

MaRDI QIDQ14472swMATHFDO

Official website https://link.springer.com/content/pdf/10.1007/BF01058393.pdf

Cited in

(6)

• Automated natural deduction in THINKER
• MUSCADET
• Symlog
• PyRes
• Strategic construction of Fitch-style proofs
• \textit{Symlog}. Automated advice in Fitch-style proof construction

This page was built for software: THINKER