mirror/github.com_the-nix-way_dev-templates
1
1
Fork 0
mirror of https://github.com/the-nix-way/dev-templates synced 2026-08-13 18:30:28 +02:00
Code Issues Activity
Files
main
github.com_the-nix-way_dev-…/lean4
T
History
Luc Perkins 2b29879a23 Remove x86_64-darwin support
2026-03-22 15:27:13 -03:00
..
.envrc
Add support for Lean 4
2024-10-12 00:19:54 +03:00
flake.nix
Remove x86_64-darwin support
2026-03-22 15:27:13 -03:00