WhaleProver

swMATH33593MaRDI QIDQ45302FDOQ45302

Author name not available (Why is that?)

Cited In (3)

• Herbrand constructivization for automated intuitionistic theorem proving
• Theorem prover for intuitionistic logic based on the inverse method
• WhaleProver: First-Order Intuitionistic Theorem Prover Based on the Inverse Method

This page was built for software: WhaleProver