Nuprl-Light: An implementation framework for higher-order logics
From MaRDI portal
Publication:5234721
DOI10.1007/3-540-63104-6_37zbMath1430.68411OpenAlexW1529478130MaRDI QIDQ5234721
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_37
Higher-order logic (03B16) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items
Uses Software
Cites Work