New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

add lean4-nix #260

Merged

cyntheticfox merged 1 commit into nix-community:main from 9glenda:patch-1

Dec 4, 2024

Contributor

9glenda commented Oct 27, 2024

lean4-nix makes using lean in a flake easy.


          add lean4-nix

d01b0ba

cyntheticfox approved these changes

View reviewed changes

Member

cyntheticfox left a comment

Can't say I've heard of Lean as a language before, but it looks interesting. The 4nix project looks decently well documented too. I'll approve

cyntheticfox merged commit 8c96917 into nix-community:main

2 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet