Package: mathlibtools
Version: 1.1.0-1
Architecture: all
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Python Team <team+python@tracker.debian.org>
Installed-Size: 94
Depends: python3-atomicwrites, python3-certifi, python3-click, python3-git, python3-github, python3-networkx, python3-pydot, python3-requests, python3-toml, python3-tqdm, python3-yaml, python3:any
Recommends: elan
Section: math
Priority: optional
Homepage: https://github.com/leanprover-community/mathlib-tools
Description: supporting tool for Lean mathlib
 mathlib-tools contains leanproject, a supporting tool for Lean mathlib. In
 conjunction with elan it allows a user to create, build, update and
 otherwise manage projects using the Lean 3 theorem prover and the mathlib
 library of mathematics and tactics.
