WhaleProver
From MaRDI portal
Software:45302
No author found.
Related Items (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
