[ bookworm ]
[ Pakiet źródłowy: mathlibtools ]
Pakiet: mathlibtools (1.1.0-1)
Odnośniki dla mathlibtools
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Śledzenie łatek systemu Debian
Pobieranie pakietu źródłowego mathlibtools:
Opiekunowie:
Zasoby zewnętrzne:
- Strona internetowa [github.com]
Podobne pakiety:
supporting tool for Lean mathlib
Inne pakiety związane z mathlibtools
|
|
|
|
-
- dep: python3
- Interaktywny, wysokopoziomowy i obiektowy język programowania (domyślna wersja Python 3)
-
- 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
-
- 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
- Elegancka i prosta biblioteka HTTP dla Pythona 3, zbudowana dla ludzi
-
- 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
Pobieranie mathlibtools
| Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| all | 22,4 KiB | 96,0 KiB | [lista plików] |