all options
bookworm  ]
[ Source: mathlibtools  ]

Package: mathlibtools (1.1.0-1)

Links for mathlibtools


Debian Resources:

Download Source Package mathlibtools:


External Resources:

Similar packages:

supporting tool for Lean mathlib

Other Packages Related to mathlibtools

  • depends
  • recommends
  • suggests
  • enhances

Download mathlibtools

Download for all available architectures
Architecture Package Size Installed Size Files
all 22.4 kB96.0 kB [list of files]