proof processing. More recently, a Visual Studio Code extension for Isabelle has also been developed by Makarius Wenzel. See also Notes References External links Theorem Prover Museum "Introduction" in Certified Programming with Dependent Types. Introduction to the Coq Proof Assistant (with a general introduction to interactive theorem proving) Interactive Theorem Proving for Agda Users A list of theorem proving tools Catalogues Digital Math by Category: Tactic Provers Automated Deduction Systems and Groups Theorem Proving and Automated Reasoning Systems Database of Existing Mechanized Reasoning Systems NuPRL: Other Systems Specific Logical Frameworks and Implementations DMOZ: Science: Math: Logic and Foundations: Computational Logic: Logical Frameworks Argument technology Automated theorem proving de:Maschinengestütztes Beweisen