Logic Automated theorem proving Introduction Install How to use Tests AUTHORS Frederico Martins Biber Sampaio fredmbs@gmail.com