» Ubuntu » Paquets » jammy (22.04LTS) » math » mathlibtools
jammy  ]
[ Paquet source : mathlibtools  ]

Paquet : mathlibtools (1.1.0-1) [universe]

Liens pour mathlibtools

Screenshot

Ressources Ubuntu :

Télécharger le paquet source mathlibtools :

Responsable :

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

  • Debian Python Team
  • Christopher Hoskin

It should generally not be necessary for users to contact the original maintainer.

Ressources externes :

Paquets similaires :

supporting tool for Lean mathlib

Autres paquets associés à mathlibtools

  • dépendances
  • recommandations
  • suggestions
  • enhances
  • dep: python3
    interactive high-level object-oriented language (default python3 version)
  • dep: python3-atomicwrites
    Atomic file writes - Python 3.x
  • dep: python3-certifi
    root certificates for validating SSL certs and verifying TLS hosts (python3)
  • dep: python3-click
    Wrapper around optparse for command line utilities - Python 3.x
  • dep: python3-git
    Python library to interact with Git repositories - Python 3.x
  • dep: python3-github
    Access the full Github API v3 from Python3
  • dep: python3-networkx
    tool to create, manipulate and study complex networks (Python3)
  • dep: python3-pydot
    Python interface to Graphviz's dot (Python 3)
  • dep: python3-requests
    elegant and simple HTTP library for Python3, built for human beings
  • dep: python3-toml
    library for Tom's Obvious, Minimal Language - Python 3.x
  • dep: python3-tqdm
    fast, extensible progress bar for Python 3 and CLI tool
  • dep: python3-yaml
    YAML parser and emitter for Python3
  • rec: elan
    tool for managing installations of the Lean theorem prover

Télécharger mathlibtools

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
all 21,9 ko94,0 ko [liste des fichiers]