Jens Otten

How to Build an Automated Theorem Prover

Invited Tutorial at TABLEAUX in London/UK

(2 September 2019)


These are the slides/examples/provers used in the tutorial.

Please contact me, if you have questions or need help when implementing a prover based on the presented techniques.