search

nix-community / awesome-nix

😎 A curated list of the best resources in the Nix community [maintainer=@cyntheticfox]
https://nix-community.github.io/awesome-nix/
Creative Commons Zero v1.0 Universal
3.43k stars 155 forks source link

add lean4-nix #260

Open 9glenda opened 1 month ago

9glenda commented 1 month ago

lean4-nix makes using lean in a flake easy.