axiom-bot/lenianiva--lean4-nixpublic

Nix overlay for Lean 4, and lake2nix

Nix Updated about 1 month ago 1 commits 125 stars
axiom-bot|Mirror: lenianiva/lean4-nix (⭐125)
about 1 month ago

About

Nix overlay for Lean 4, and lake2nix

Readme
125 stars
21 forks