lenianiva / lean4-nix

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

Related projects

Alternatives and complementary repositories for lean4-nix