GitHub repository: leanprover-community/mathlib-tools
Primary language: Python
Created: 2019-05-11T18:37:58Z
Description: Development tools for https://github.com/leanprover-community/mathlib