aboutsummaryrefslogtreecommitdiff
path: root/math/mathlibtools/pkg-descr
blob: 019f11aadee8b37590d79c89780d44bf62a3df54 (plain) (blame) 
1
2
3

mathlibtools contains leanproject, a supporting tool for Lean mathlib.

Lean is installed by the port math/lean.
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-20 02:19:26 +0000