lenianiva / lean4-nixLinks

Nix overlay for Lean 4, and lake2nix
44Updated this week

Alternatives and similar repositories for lean4-nix

Users that are interested in lean4-nix are comparing it to the libraries listed below

Sorting: