GitHub repository: FordUniver/thebook.lean
Primary language: Lean
Created: 2024-10-12T10:25:54Z
Description: Proofs from THE BOOK written up in lean