Open Issues Need Help
View All on GitHub mathlib as a dependency 3 months ago
documentation help wanted question
lenianiva/lean4-nix lenianiva/lean4-nix Nix overlay for Lean 4, and lake2nix
Open project →
119
Nix overlay for Lean 4, and lake2nix
Nix
#lean#lean4#nix
Is it possible to build doc-gen4 docs? 12 months ago
feature help wanted
lenianiva/lean4-nix lenianiva/lean4-nix Nix overlay for Lean 4, and lake2nix
Open project →
119
Nix overlay for Lean 4, and lake2nix
Nix
#lean#lean4#nix
Binary toolchain fails to patch on darwin about 1 year ago
bug help wanted
lenianiva/lean4-nix lenianiva/lean4-nix Nix overlay for Lean 4, and lake2nix
Open project →
119
Nix overlay for Lean 4, and lake2nix
Nix
#lean#lean4#nix
Potential package name mismatch problem about 1 year ago
help wanted part/lake2nix
lenianiva/lean4-nix lenianiva/lean4-nix Nix overlay for Lean 4, and lake2nix
Open project →
119
Nix overlay for Lean 4, and lake2nix
Nix
#lean#lean4#nix