• Lowe_Ontological_Argument

• Referenced in 1 article [sw38024]
• Lowe’s Modal Ontological Argument. Computers may help us to understand --not just verify-- philosophical ... ties to metaphysics and religion, we offer an ideal showcase for our computer-assisted interpretive...

• Coq

• Referenced in 1888 articles [sw00161]
• Coq is a formal proof management system. It...

• Nitpick

• Referenced in 63 articles [sw00622]
• Nitpick is a counterexample generator for Isabelle/HOL that...

• Isabelle/HOL

• Referenced in 1018 articles [sw01569]
• Isabelle is a generic proof assistant. It allows...

• OTTER

• Referenced in 316 articles [sw02904]
• Our current automated deduction system Otter is designed...

• Prover9

• Referenced in 197 articles [sw04969]
• Prover9 and Mace4: Prover9 is an automated theorem...

• Mace4

• Referenced in 227 articles [sw06905]
• finite model-finder Mace4. Mace4 is a program...

• Sledgehammer

• Referenced in 137 articles [sw07047]
• Sledgehammer is a tool that harnesses external first...

• Archive Formal Proofs

• Referenced in 178 articles [sw28613]
• Isabelle’s Archive of Formal Proofs (AFP): Mining...

• GoedelGod

• Referenced in 7 articles [sw32223]
• Gödel’s God in Isabelle/HOL. Dana Scott’s...

• PLM

• Referenced in 3 articles [sw38031]
• PLM: Representation and Partial Automation of the Principia...