mirror/github.com_the-nix-way_dev-templates
1
1
Fork 0
mirror of https://github.com/the-nix-way/dev-templates synced 2025-04-09 21:59:08 +02:00
Code Issues
main
github.com_the-nix-way_dev-.../lean4
History
Luc Perkins 1dbc29b411
Update everything
2025-02-18 11:31:23 -05:00
..
.envrc Add support for Lean 4 2024-10-12 00:19:54 +03:00
flake.lock Update everything 2025-02-18 11:31:23 -05:00
flake.nix Add support for Lean 4 2024-10-12 00:19:54 +03:00