Comment by ratmice

I wish he had just said 50 years of LCF, since he even mentions automath in the article but that was but that was late 60s