sci-mathematics/

mathlib-tools

Dependencies Reverse-Dependencies

• 1.3.2_p1

  Version	RDEPEND	DEPEND	BDEPEND	IDEPEND	PDEPEND
  dev-lang/python
  dev-python/atomicwrites
  dev-python/certifi
  dev-python/click
  dev-python/gitpython
  dev-python/gpep517
  dev-python/networkx
  dev-python/pydot
  dev-python/pygithub
  dev-python/pytest
  dev-python/pyyaml
  dev-python/requests
  dev-python/setuptools
  dev-python/tomli
  dev-python/tomli-w
  dev-python/tqdm
  sci-mathematics/lean