GitHub repository: logic-tools/simpro
Primary language: Isabelle
Description: SimPro (Simple Prover) - With a Formalization in Isabelle