The Lean Theorem Prover (system description) Leonardo de Moura1 , Soonho Kong2 , Jeremy Avigad2 , Floris van Doorn2 and Jakob von Raumer2* 1

Source URL: leanprover.github.io

Analysis and Transformation of Proof Procedures David Andre de Waal A thesis submitted to the University of Bristol in accordance with the requirements for the degree of Doctor of Philosophy in the Faculty of Engineeri

Source URL: repository.readscheme.org

• Automated theorem proving
• Logic in computer science
• Formal methods
• Theoretical computer science
• Prolog
• Logic programming
• Model elimination
• Mathematical logic
• E theorem prover
• First-order logic
• Lean theorem prover
• Automated reasoning