Fast, Verified Computation for HOL ITPs
Journal article, 2025
Interactive theorem proving
Prover soundness
Higher-order logic
Author
Oskar Abrahamsson
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Magnus Myreen
University of Gothenburg
ARM Limited
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
M. Norrish
Australian National University
Hrutvik Kanabar
ARM Limited
Johannes Åman Pohjola
Chalmers, Computer Science and Engineering (Chalmers), Computing Science
University of Gothenburg
Journal of Automated Reasoning
0168-7433 (ISSN) 1573-0670 (eISSN)
Vol. 69 1 7Subject Categories (SSIF 2025)
Computer Sciences
Computer Engineering
Computer Systems
DOI
10.1007/s10817-025-09719-8