mirror/github.com_the-nix-way_dev-templates
1
1
Fork 0
mirror of https://github.com/the-nix-way/dev-templates synced 2025-10-27 01:50:42 +01:00
Code Issues
main
github.com_the-nix-way_dev-.../lean4
History
Luc Perkins f1442edfdd
Switch to mkShellNoCC
2025-10-09 10:43:22 -05:00
..
.envrc Add support for Lean 4 2024-10-12 00:19:54 +03:00
flake.nix Switch to mkShellNoCC 2025-10-09 10:43:22 -05:00