THINKER
From MaRDI portal
Software:14472
No author found.
Related Items (3)
Symlog automated advice in Fitch-style proof construction ⋮ Automated natural deduction in THINKER ⋮ Strategic construction of Fitch-style proofs
This page was built for software: THINKER