3 ms·
There's also a 2024 edition https://github.com/blanchette/interactive_theorem_proving_2024 https://github.com/blanchette/interactive_theorem_proving_20...
by FranklinChen 2y ago
There's also a 2024 edition https://github.com/blanchette/interactive_theorem_proving_2024 https://github.com/blanchette/interactive_theorem_proving_20...