Open Issues Need Help
View All on GitHub mathlib as a dependency about 1 month ago
documentation help wanted question
Is it possible to build doc-gen4 docs? 10 months ago
feature help wanted
Binary toolchain fails to patch on darwin 11 months ago
bug help wanted
Potential package name mismatch problem about 1 year ago
help wanted part/lake2nix