summaryrefslogtreecommitdiff
path: root/sci-mathematics/lean/Manifest
AgeCommit message (Expand)Author
2023-02-11Add missing manifestsJakob L. Kreuze