GitHub repository: mo271/formal_book
Primary language: Lean
Description: Formalizing "Proofs from THE BOOK"