1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
Source: mathlibtools
Maintainer: Debian Python Team <team+python@tracker.debian.org>
Uploaders: Christopher Hoskin <mans0954@debian.org>
Section: math
Priority: optional
Build-Depends: dh-python, python3-setuptools, python3-all, debhelper-compat (= 13)
Standards-Version: 4.6.0.1
Homepage: https://github.com/leanprover-community/mathlib-tools
Rules-Requires-Root: no
Vcs-Git: https://salsa.debian.org/python-team/packages/mathlibtools.git
Vcs-Browser: https://salsa.debian.org/python-team/packages/mathlibtools
Package: mathlibtools
Architecture: all
Depends: ${misc:Depends}, ${python3:Depends}
Recommends: elan
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.
|
