VOOZH

URL: https://aur.archlinux.org/packages/python-mathlibtools

⇱ AUR (en) - python-mathlibtools

Arch Linux User Repository

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-atomicwrites-homeassistant^AUR)
python-certifi
python-click
python-gitpython
python-networkx (python-networkx-git^AUR)
python-pydot
python-pygithub (python-pygithub-git^AUR)
python-requests
python-toml
python-tqdm
python-yaml (python-yaml-git^AUR)
python-setuptools (make)
lean-community^AUR (lean-community-bin^AUR, elan-lean^AUR) (optional)

Required by (1)

lean-community (optional)

Sources (1)

https://pypi.io/packages/source/m/mathlibtools/mathlibtools-1.3.2.tar.gz

aurweb v6.3.4

Report issues here.

Copyright © 2004-2026 aurweb Development Team.

AUR packages are user produced content. Any use of the provided files is at your own risk.