A Verified Theorem Prover Backend Supported by a Monotonic Library
From MaRDI portal
Publication:5222980
DOI10.29007/f58nzbMath1409.68262OpenAlexW2906661256MaRDI QIDQ5222980
Liron Cohen, Mark Bickford, Vincent Rahli
Publication date: 4 July 2019
Published in: EPiC Series in Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.29007/f58n
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Unnamed Item ⋮ Experiences from exporting major proof assistant libraries ⋮ Formally computing with the non-computable
Uses Software
This page was built for publication: A Verified Theorem Prover Backend Supported by a Monotonic Library
