3 ms·
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
by ratmice 10mo ago
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
- robinzfc 10mo agoYes, 50 years of LCF would have been much better. You should not talk about "50 years of proof assistants" and not mention Mizar which had the largest library of theorems for about half of that time.