GitHub repository: C-h-r-i-s-x/formal_book_copy
Primary language: Lean
Description: Formalizing "Proofs from THE BOOK"