Developing the Algebraic Hierarchy with Type Classes in Coq

DOI10.1007/978-3-642-14052-5_35zbMath1291.68370OpenAlexW2152823938MaRDI QIDQ5747673

Bas Spitters, Eelis van der Weegen

Publication date: 14 September 2010

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14052-5_35

Mathematics Subject Classification ID

Related Items

Homotopy type theory in Lean ⋮ Effective homology of bicomplexes, formalized in Coq ⋮ Large Formal Wikis: Issues and Solutions

Uses Software

• Coq
• C-CoRN