Tree @master (Download .tar.gz)
Books.md @master — view markup · raw · history · blame
Theorem Proving Books
The Seventeen Provers of the World
- authors: Freek Wiedijk (Ed.)
- date: 2006
- borrow @ archive.org
.
Theorem Proving in Lean 4
- authors: Jeremy Avigad, Leonardo de Moura, Soonho Kong, Sebastian Ullrich
- date: 2017
- online @ archive.org
.