Fast, verified computation for HOL ITPs

DOI10.1007/S10817-025-09719-8MaRDI QIDQ7009612zbMATH OpenFDO

Authors Oskar Abrahamsson, Magnus O. Myreen, Michael Norrish, Hrutvik Kanabar, Johannes Åman Pohjola

Publication date 20 March 2025

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

higher-order logicinteractive theorem provingprover soundness

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Fast, verified computation for HOL ITPs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7009612)