feat: Shallow fetch - Githubissues

lenianiva / lean4-nix

Nix overlay for Lean 4, and lake2nix

Apache License 2.0

16 stars 2 forks source link

feat: Shallow fetch #12

Closed lenianiva closed 1 month ago