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