Publication:5195246
From MaRDI portal
DOI10.6092/issn.1972-5787/3392zbMath1451.68340MaRDI QIDQ5195246
Publication date: 18 September 2019
03B40: Combinatory logic and lambda calculus
68V20: Formalization of mathematics in connection with theorem provers
68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)
Uses Software