Information-intensive proof technology

MaRDI QIDQ5435630zbMATH OpenFDO

Authors Robert Constable

Publication date 14 January 2008

zbMATH Keywords

distributed computingFormal Digital Library

Mathematics Subject Classification ID

Recommendations

• Toward sharing libraries of mathematics between theorem provers
• FoCaLiZe and Dedukti to the rescue for proof interoperability
• Mathematical Knowledge Management
• Cooperation in heterogeneous theorem prover networks (Diss., Univ. Kaiserslautern)
• One logic to use them all

Cited in

(4)

• FoCaLiZe and Dedukti to the rescue for proof interoperability
• One logic to use them all
• Proceedings of the seventh workshop on proof eXchange for theorem proving, Pittsburg, USA, July 11, 2021
• Formal Reasoning Using Distributed Assertions

This page was built for publication: Information-intensive proof technology

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