scientific article; zbMATH DE number 7178360

MaRDI QIDQ5219925zbMATH OpenFDO

Authors Christoph Benzmüller

Publication date 9 March 2020

Mathematics Subject Classification ID

Higher-order logic (03B16) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Describes a project that uses

Uses Software

• Coq
• LEO-II
• HOL Light
• Flyspeck
• SystemOnTPTP
• AgsyHOL
• Nitpick
• TPTP
• Satallax
• Isabelle/HOL
• THF0
• Hets
• MiniSat
• GoedelGod

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5219925)