Package: mathlibtools (1.1.0-1)

[ Source: mathlibtools  ]

supporting tool for Lean mathlib

Other Packages Related to mathlibtools

• 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

• 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

Download mathlibtools

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	22.4 kB	96.0 kB	[list of files]