Incredible Proof Machine
From MaRDI portal
Software:40554
No author found.
Related Items (2)
Formalization of the resolution calculus for first-order logic ⋮ Visual Theorem Proving with the Incredible Proof Machine
This page was built for software: Incredible Proof Machine
