Yirmiuc / mathlibtools

supporting tool for Lean mathlib

•     Debian Python Team
•     team+python@tracker.debian.org
•     https://github.com/leanprover-community/mathlib-tools
•     1.1.0-1
•     mathlibtools_1.1.0-1_all.deb
•     22.4 KiB
•     math
•     all
•      mathlibtools_1.1.0-1.debian.tar.xz
            mathlibtools_1.1.0-1.dsc
            mathlibtools_1.1.0.orig.tar.gz
•     Debian Versiyonu: 1.1.0-1
•     supporting tool for Lean mathlib