automated theorem proving automated theorem proving machine learning automated theorem automated theorem proving example automated theorem proving python automated theorem proving theory and practice automated theorem proving course automated theorem proving llm automated theorem generation automated theorem proving in discrete mathematics