Extraction in Coq: An Overview

From MaRDI portal
Publication:3507450

DOI10.1007/978-3-540-69407-6_39zbMath1142.68498OpenAlexW1522720500MaRDI QIDQ3507450

Pierre Letouzey

Publication date: 19 June 2008

Published in: Logic and Theory of Algorithms (Search for Journal in Brave)

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




Related Items (16)


Uses Software


Cites Work


This page was built for publication: Extraction in Coq: An Overview