Leveraging the information contained in theory presentations

DOI10.1007/978-3-030-53518-6_4zbMath1455.68255arXiv2006.09292OpenAlexW3035513392MaRDI QIDQ2219380

William M. Farmer, Yasmine Sharoda, Jacques Carette

Publication date: 20 January 2021

Full work available at URL: https://arxiv.org/abs/2006.09292

zbMATH Keywords

algebraic hierarchyformal library

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Formalization of mathematics in connection with theorem provers (68V20) Mathematical knowledge management (68V30)

Related Items (2)

Multiple-inheritance hazards in dependently-typed algebraic hierarchies ⋮ Structure-preserving diagram operators

Uses Software

• Coq
• Haskell
• Maude
• Agda
• lens
• MathScheme
• mathlib
• Tog

This page was built for publication: Leveraging the information contained in theory presentations