Skip to content

Comment on 50 years of proof assistantsparent

Comments

I did wind up picking up Volume 1 this afternoon and starting to read some of it. It's a fascinating look back in time at some earlier days of AI. Which is right up my alley, as I'm pretty enthusiastic about studying the history of the field.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.