PyPI page
Home page
Author:
The mathlib community
License:
Summary:
Lean prover mathlib supporting tools.
Latest version:
1.3.2
Required dependencies:
atomicwrites
|
certifi
|
click
|
dataclasses
|
gitpython
|
networkx
|
pydot
|
pygithub
|
pyyaml
|
requests
|
toml
|
tqdm
Downloads last day:
55
Downloads last week:
333
Downloads last month:
2,037