Debian package mathlibtools

supporting tool for Lean mathlib

Summary

Count	5 occurrences
State	Alive
Last occurred	09/01/2023
Habitening next	03/08/2024
Age	756 days
Average	189 days
Honeymoon	4 days
Trend	None
In degree	0
Out degree	1
External link	https://tracker.debian.org/pkg/mathlibtools (Tracker)