scientific article; zbMATH DE number 7178359

MaRDI QIDQ5219924zbMATH OpenFDO

Authors Stephan Schulz, Geoff Sutcliffe

Publication date 9 March 2020

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cited in

(1)

• Faster, higher, stronger: E 2.3

Describes a project that uses

Uses Software

• SPASS
• OMDoc
• leanCoP
• Flyspeck
• DISCOUNT
• Isabelle
• SETHEO
• OTTER
• TPTP
• Mace4
• Sledgehammer
• ACL2
• Isabelle/HOL
• VAMPIRE
• Prover9
• iProver
• MaSh
• E Theorem Prover
• Ivy
• seL4
• IDV
• FLOTTER

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 Q5219924)