scientific article
From MaRDI portal
Publication:2852042
zbMath1273.68317MaRDI QIDQ2852042
Luís Cruz-Filipe, Pierre Letouzey
Publication date: 7 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106001101
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof ⋮ Extracting functional programs from Coq, in Coq ⋮ Extraction in Coq: An Overview ⋮ Formally proving size optimality of sorting networks ⋮ Certified Exact Transcendental Real Number Computation in Coq ⋮ Computer Certified Efficient Exact Reals in Coq ⋮ Tool Support for Proof Engineering
Uses Software
This page was built for publication:
