scientific article; zbMATH DE number 7178360

zbMath1431.68122MaRDI QIDQ5219925

Christoph Benzmüller

Publication date: 9 March 2020

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Uses Software

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

This page was built for publication: