AUT-PI(ID:6965/aut048)

Country: nl
- languages for nl
- nl/1969
Began: 1969
Type:Symbolic
- Symbolic

The first version of Automath, actually using pen and paper

AUT-PI

Implementation

References:

de Bruijn, Nicolas G. "A survey of the project AUTOMATH" In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays in Combinatory Logic, Lambda Calculus, and Formalism, pages 589--606, Academic Press, 1980. view details