Hybrid interactive theorem proving using nuprl and HOL
From MaRDI portal
Publication:5234717
DOI10.1007/3-540-63104-6_34zbMath1430.68403MaRDI QIDQ5234717
Publication date: 1 October 2019
Published in: Automated Deduction—CADE-14 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-63104-6_34
68V20: Formalization of mathematics in connection with theorem provers
68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)
Related Items
Uses Software