python-mathlibtools 1.1.1 Development tools for Lean mathlib

This package contains leanproject, a supporting tool for Lean mathlib, a mathematical library for the Lean theorem prover.