GitHub repository: mo271/FormalBook
Primary language: TeX
Description: Formalizing "Proofs from THE BOOK"