[ bookworm ]
[ Quellcode: mathlibtools ]
Paket: mathlibtools (1.1.0-1)
Links für mathlibtools
Debian-Ressourcen:
Quellcode-Paket mathlibtools herunterladen:
Betreuer:
Externe Ressourcen:
- Homepage [github.com]
Ähnliche Pakete:
supporting tool for Lean mathlib
Andere Pakete mit Bezug zu mathlibtools
|
|
|
|
-
- dep: python3
- interactive high-level object-oriented language (default python3 version)
-
- dep: python3-atomicwrites
- Atomic file writes - Python 3.x
-
- dep: python3-certifi
- Root-Zertifikate für die Validierung von SSL-Zertifikaten und Überprüfung von TLS-Hosts (Python3)
-
- dep: python3-click
- Wrapper um optparse für Befehlszeilenprogramme - Python 3.x
-
- dep: python3-git
- Python library to interact with Git repositories
-
- dep: python3-github
- Access the full Github API v3 from Python3
-
- dep: python3-networkx
- Werkzeug zum Erstellen, Manipulieren und Studieren komplexer Netzwerke (Python 3)
-
- dep: python3-pydot
- Python interface to Graphviz's dot (Python 3)
-
- dep: python3-requests
- Elegante und einfache Python-3-HTTP-Bibliothek, für Menschen gebaut
-
- 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
- Python3-Parser und -Emitter für YAML
-
- rec: elan
- tool for managing installations of the Lean theorem prover
mathlibtools herunterladen
Architektur | Paketgröße | Größe (installiert) | Dateien |
---|---|---|---|
all | 22,4 kB | 96,0 kB | [Liste der Dateien] |