The \textsc{MetaCoq} project
From MaRDI portal
Publication:2209542
DOI10.1007/s10817-019-09540-0zbMath1468.68075MaRDI QIDQ2209542
Cyril Cohen, Gregory Malecha, Nicolas Tabareau, Yannick Forster, Abhishek Anand, Simon Boulier, Matthieu Sozeau, Fabian Kunze, Théo Winterhalter
Publication date: 2 November 2020
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-019-09540-0
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)
Related Items
Uses Software