GitHub repository: zezhang/math
Primary language: Lean
Created: 2023-07-23T20:42:04Z
Description: math proof