Skip to content
Sections
>> Trisquel >> 软件包 >> aramo >> math >> mathlibtools
aramo  ]
[ 源代码: mathlibtools  ]

软件包: mathlibtools (1.1.0-1)

supporting tool for Lean mathlib

mathlib-tools contains leanproject, a supporting tool for Lean mathlib. In conjunction with elan it allows a user to create, build, update and otherwise manage projects using the Lean 3 theorem prover and the mathlib library of mathematics and tactics.

其他与 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 - 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

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
all 21.9 kB94 kB [文件列表]