awesome-repositories.comCategories

© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com

MCP Blog Curated searches Sitemap Privacy Terms

Lean4 Nix | Awesome Repos

lenianivalean4-nix

0

View on GitHub↗

110 stars·17 forks·Nix·Apache-2.0·0 views

Lean4 Nix

Nix overlay for Lean 4, and lake2nix

Features

Language Integrations - Build support for Lean 4.

AI search

Explore more awesome repositories

Describe what you need in plain English — the AI ranks thousands of curated open-source projects by relevance.

Start searching with AI

Star history

Star history chart for lenianiva/lean4-nix

Star history chart for lenianiva/lean4-nix