Example image of eyePlorer eyePlorer map for 'Automated proof checking': Mathematical proof Automated reasoning Automated theorem proving HOL Light Metamath Interactive theorem proving Automath Computer algebra system Compiler correctness Formalism (mathematics) Rigour Philosophy of mathematics First-order logic
Disclaimer