Bug#991923: ITP: mathlibtools -- supporting tool for Lean mathlib

[Christopher Hoskin <mans0954@debian.org>]

Package: wnpp
Severity: wishlist
Owner: Christopher Hoskin <mans0954@debian.org>
X-Debbugs-Cc: debian-devel@lists.debian.org

* Package name    : mathlibtools
  Version         : 1.0.0
  Upstream Author : Leanprover Community https://leanprover.zulipchat.com/
* URL             : https://github.com/leanprover-community/mathlib-tools
* License         : Apache-2.0
  Programming Lang: Python
  Description     : supporting tool for Lean mathlib

This package contains leanproject, a supporting tool for Lean mathlib. In
conjunction with elan [1] 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.

I plan to maintain it within the python team of which I am a member. I do not
require a sponsor.

Christopher Hoskin

[1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=991801