issues
search
lenianiva
/
lean4-nix
Nix overlay for Lean 4, and lake2nix
Apache License 2.0
16
stars
2
forks
source link
doc: Clarify documentation
#13
Closed
lenianiva
closed
4 weeks ago