search

lenianiva / lean4-nix

Nix overlay for Lean 4, and lake2nix
Apache License 2.0
16 stars 2 forks source link

fix: Dependency template #9

Closed lenianiva closed 1 month ago