A new implementation of Automath
From MaRDI portal
Publication:1868514
DOI10.1023/A:1021983302516zbMath1064.68084MaRDI QIDQ1868514
Publication date: 27 April 2003
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
03B40: Combinatory logic and lambda calculus
Related Items
Automath, Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics
Uses Software