Home / FAQ / Examples
First-Order Intuitionistic Logic and Proof System

The code here is quite simplistic and does not constitute an effective and flexible theorem prover. It is include here to illustrate in a simple fashion various styles of programming in lambda Prolog. More comprehensive approaches to parsing, printing, and interaction with the human will appear later.

Home / Examples