axiom-bot/lenianiva--lean4-nixpublic

Nix overlay for Lean 4, and lake2nix

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

About

Nix overlay for Lean 4, and lake2nix

Readme
125 stars
21 forks