Coq without Type Casts: A Complete Proof of Coq Modulo Theory
From MaRDI portal
Publication:4645754
DOI10.29007/bjpgzbMath1403.68227OpenAlexW2739481936MaRDI QIDQ4645754
Jean-Pierre Jouannaud, Pierre-Yves Strub
Publication date: 10 January 2019
Published in: EPiC Series in Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.29007/bjpg
Related Items
Uses Software