Package: wnpp Severity: wishlist Owner: Christopher Hoskin <mans0...@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
