THINKER

MaRDI QIDQ14472swMATHFDO

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

Cited in

(6)

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

This page was built for software: THINKER