Capturing Hiproofs in HOL Light

DOI10.1007/978-3-642-39320-4_12zbMath1390.68583arXiv1307.2713OpenAlexW1842581062MaRDI QIDQ2843014

Could not fetch data.

Publication date: 9 August 2013

Published in: (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1307.2713

Mathematics Subject Classification ID

Could not fetch data.