Implementing Hash-Consed Structures in Coq
From MaRDI portal
Publication:5327368
DOI10.1007/978-3-642-39634-2_36zbMath1317.68203arXiv1304.6038OpenAlexW1838346728MaRDI QIDQ5327368
David Monniaux, Jacques-Henri Jourdan, Thomas Braibant
Publication date: 7 August 2013
Published in: Interactive Theorem Proving (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1304.6038
Uses Software
This page was built for publication: Implementing Hash-Consed Structures in Coq