The slides pdf: http://www.cs.ru.nl/~herman/revolution.pdf
is a nice historical tour of "proof-assistant"-programming with some nice photos, and this historical tidbit: *AUTOMATH* N.G. de Bruijn (1967) a language to encode mathematics fully formally https://www.win.tue.nl/automath/ @philipthrift -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/57d00c53-b5d2-4039-ad7b-f790dd7a48dbo%40googlegroups.com.
