Cooperative Repositories for Formal Proofs

DOI10.1007/978-3-540-73086-6_19zbMath1202.68377OpenAlexW1580616295WikidataQ108482200 ScholiaQ108482200MaRDI QIDQ5428272

Pierre Corbineau, Cezary Kaliszyk

Publication date: 28 November 2007

Published in: Towards Mechanized Mathematical Assistants (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73086-6_19

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Related Items (4)

Aligning concepts across proof assistant libraries ⋮ A Declarative Language for the Coq Proof Assistant ⋮ Proof assistants: history, ideas and future ⋮ Towards Knowledge Management for HOL Light

Uses Software

• Coq

This page was built for publication: Cooperative Repositories for Formal Proofs