Theorem proving related domains (7)

home > keywords > theorem proving

• symbolaris.com André Platzer @ Karlsruhe Institute of Technology
• lfcps.org André Platzer @ Karlsruhe Institute of Technology
• pxtp.gitlab.io Workshop on Proof eXchange for Theorem Proving
• alexandersteen.de Alexander Steen
• rewriting.org Rewriting Home Page
• drbolton.org Matthew L. Bolton: The Formal Human Systems Laboratory (FHSL)
• arealeducation.com index