Report - Automated Theorem Proving - carma.newcastle.edu.au · Automated reasoning Domain-general methods: Propositional theorem proving First-order theorem proving Equational reasoning Higher-order

Please pass captcha verification before submit form