Search Criteria
Package Details: python-mathlibtools 1.3.2-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/python-mathlibtools.git (read-only, click to copy) |
|---|---|
| Package Base: | python-mathlibtools |
| Description: | This package contains leanproject, a supporting tool for Lean mathlib |
| Upstream URL: | https://github.com/leanprover-community/mathlib-tools |
| Licenses: | Apache-2.0 |
| Submitter: | ouuan |
| Maintainer: | None |
| Last Packager: | ouuan |
| Votes: | 2 |
| Popularity: | 0.000000 |
| First Submitted: | 2020-09-05 08:22 (UTC) |
| Last Updated: | 2024-04-20 06:25 (UTC) |
Dependencies (13)
- python-atomicwrites
- python-certifi
- python-click
- python-gitpython
- python-networkx (python-networkx-gitAUR)
- python-pydot
- python-pygithub (python-pygithub-gitAUR)
- python-requests
- python-toml (python-toml-gitAUR)
- python-tqdm
- python-yaml (python-yaml-gitAUR)
- python-setuptools (make)
- lean-communityAUR (lean-community-binAUR, elan-leanAUR) (optional)
Required by (1)
- lean-community (optional)