[ jammy ]
[ Kaynak: mathlibtools ]
Paket: mathlibtools (1.1.0-1) [universe]
mathlibtools için bağlantılar
Ubuntu Kaynakları:
mathlibtools Kaynak Paketini İndir:
Geliştirici:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Python Team
- Christopher Hoskin
It should generally not be necessary for users to contact the original maintainer.
Dış Kaynaklar:
- Ana Sayfa [github.com]
Benzer paketler:
supporting tool for Lean mathlib
mathlibtools ile İlgili Diğer Paketler
|
|
|
|
-
- dep: python3
- interactive high-level object-oriented language (default python3 version)
-
- 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 - Python 3.x
-
- 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
- elegant and simple HTTP library for Python3, built for human beings
-
- 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
mathlibtools indir
| Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|
| all | 21,9 kB | 94,0 kB | [dosya listesi] |