[ 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
- Interaktivt objektorienteret højniveausprog - standardversion af Python 3
-
- dep: python3-atomicwrites
- Atomic file writes - Python 3.x
-
- dep: python3-certifi
- Rodcertifikater for validering af SSL-cert. og verificering af TLS-værter - Python3
-
- dep: python3-click
- Omslag omkring optparse for kommandolinjeredskaber - Python 3.x
-
- dep: python3-git
- Pythonbibliotek til at interagere med Git-arkiver
-
- dep: python3-github
- Tilgå den fulde Github API v3 fra Python 3
-
- dep: python3-networkx
- Værktøj til at oprette, manipulere og studere komplekse netværk - Python 3
-
- dep: python3-pydot
- Python interface to Graphviz's dot (Python 3)
-
- dep: python3-requests
- Elegant og simpelt HTTP-bibliotek for Python3, bygget for mennesker
-
- dep: python3-toml
- Bibliotek for Tom's Obvious, Minimal Language - Python 3.x
-
- dep: python3-tqdm
- Hurtig, udvidelig statusbjælke for Python 3 og kommandolinjeværktøjer
-
- dep: python3-yaml
- YAML-fortolker og udleder for Python 3
-
- rec: elan
- Værktøj til at håndtere installationer for teoribeviseren Lean
Download mathlibtools
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
all | 22.4 kB | 96.0 kB | [list of files] |