The following pages link to A new implementation of Automath (Q1868514):
Displaying 4 items.
- Automath (Q19182) (← links)
- N. G. de Bruijn's contribution to the formalization of mathematics (Q740481) (← links)
- Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics (Q865658) (← links)
- Characteristics of de Bruijn’s early proof checker Automath (Q5089679) (← links)
