Hacker News new | ask | show | jobs
by FranklinChen 695 days ago
There's also a 2024 edition https://github.com/blanchette/interactive_theorem_proving_20...