The Foundation of a Generic Theorem Prover (1989) [pdf]L: https://arxiv.org/pdf/cs/9301105C: https://news.ycombinator.com/item?id=40316319posted on 2024.05.10 at 03:41:22 (c=0, p=4)
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.