Get the latest tech news

50 years of proof assistants

[ memories LCF HOL system Isabelle Coq ] MJC Gordon Crackpots ranging from billionaire Peter Thiel to random YouTube influencers claim that science has been stagnating for the past 50 years. They admit that computing is an exception: they don’t pretend that my personal 32GB laptop is not an advance over the 16MB mainframe that served the whole Caltech community when I was there.

None

Get the Android app