Changing Data Representation within the Coq System

DOI10.1007/10930755_6zbMath1279.68290OpenAlexW2158336522MaRDI QIDQ3559761

Nicolas Magaud

Publication date: 7 May 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/10930755_6

Mathematics Subject Classification ID

Related Items (2)

Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL ⋮ Ornaments for Proof Reuse in Coq

Uses Software

• Coq

This page was built for publication: Changing Data Representation within the Coq System