GitHub repository: leanprover-community/mathzoo
Primary language: Lean
Created: 2022-02-03T14:14:39Z
Description: Lean mathzoo