WhaleProver

swMATH33593MaRDI QIDQ45302FDOQ45302

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-74313-4_23

Cited In (4)

• Herbrand constructivization for automated intuitionistic theorem proving
• Theorem prover for intuitionistic logic based on the inverse method
• Slakje
• WhaleProver: first-order intuitionistic theorem prover based on the inverse method

This page was built for software: WhaleProver