[ bookworm ]
[ Source: mathlibtools ]
Package: mathlibtools (1.1.0-1)
Links for mathlibtools
Debian Resources:
Download Source Package mathlibtools:
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
supporting tool for Lean mathlib
Other Packages Related to mathlibtools
|
|
|
|
-
- dep: python3
- interactive high-level object-oriented language (default python3 version)
-
- dep: python3-atomicwrites
- scritture atomiche di file - Python 3.x
-
- dep: python3-certifi
- certificati radice per validare certificati SSL e verificare host TLS (Python 3)
-
- dep: python3-click
- wrapper di optparse per utilità a riga di comando - Python 3.x
-
- dep: python3-git
- libreria Python per interagire con repository Git
-
- dep: python3-github
- accesso completo alle API v3 di Github per Python3
-
- dep: python3-networkx
- strumento per creare, manipolare e studiare reti complesse (Python 3)
-
- dep: python3-pydot
- interfaccia Python a dot di Graphviz (Python 3)
-
- dep: python3-requests
- semplice ed elegante libreria HTTP per Python 3, fatta per esseri umani
-
- dep: python3-toml
- libreria per "Tom's Obvious, Minimal Language" - Python 3.x
-
- dep: python3-tqdm
- barra di avanzamento veloce ed estensibile per Python 3 e strumento CLI
-
- dep: python3-yaml
- analizzatore ed emettitore YAML per Python 3
-
- rec: elan
- tool for managing installations of the Lean theorem prover
Download mathlibtools
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
all | 22.4 kB | 96.0 kB | [list of files] |