[ bookworm ]
[ Zdroj: mathlibtools ]
Balík: mathlibtools (1.1.0-1)
Odkazy pre mathlibtools
Zdroje Debian:
Stiahnuť zdrojový balík mathlibtools:
Správcovia:
Externé zdroje:
- Domovská stránka [github.com]
Podobné balíky:
supporting tool for Lean mathlib
Ostatné balíky súvisiace s balíkom mathlibtools
|
|
|
|
-
- dep: python3
- interactive high-level object-oriented language (default python3 version)
-
- dep: python3-atomicwrites
- Atomic file writes - Python 3.x
-
- dep: python3-certifi
- koreňové certifikáty na overovanie certifikátov SSL a hostiteľov TLS - Python 3
-
- dep: python3-click
- wrapper optparse na tvorbu mocných nástrojov príkazového riadka - 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
- nástroj na tvorbu, manipuláciu a študovanie komplexných sietí - Python 3
-
- dep: python3-pydot
- Python interface to Graphviz's dot (Python 3)
-
- dep: python3-requests
- elegantná a jednoduchá knižnica HTTP pre Python 3 pre ľudí
-
- 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
- spracovanie a tvorbu YAML v jazyku Python 3
-
- rec: elan
- tool for managing installations of the Lean theorem prover
Stiahnuť mathlibtools
Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
---|---|---|---|
all | 22.4 kB | 96.0 kB | [zoznam súborov] |