mathlibtools (deprecated)

Install command:
brew install mathlibtools

Lean prover mathlib supporting tools

License: Apache-2.0

Formula JSON API: /api/formula/mathlibtools.json

Formula code: mathlibtools.rb on GitHub

Bottle (binary package) installation support provided for:

Apple Silicon ventura
big sur
Intel ventura
big sur
64-bit linux

Current versions:

stable 1.3.2

Revision: 5

Depends on:

cffi 1.15.1 C Foreign Function Interface for Python
python-certifi 2023.7.22 Mozilla CA bundle for Python
python-cryptography 41.0.4 Cryptographic recipes and primitives for Python
python@3.11 3.11.5 Interpreted, interactive, object-oriented programming language
pyyaml 6.0.1 YAML framework for Python
six 1.16.0 Python 2 and 3 compatibility utilities


Installs (30 days)
mathlibtools 212
Installs on Request (30 days)
mathlibtools 212
Build Errors (30 days)
mathlibtools 0
Installs (90 days)
mathlibtools 622
Installs on Request (90 days)
mathlibtools 622
Installs (365 days)
mathlibtools 974
Installs on Request (365 days)
mathlibtools 974
Fork me on GitHub