lenianiva / lean4-nix

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

Related projects

Alternatives and complementary repositories for lean4-nix