mirror/github.com_the-nix-way_dev-templates
1
1
Fork 0
mirror of https://github.com/the-nix-way/dev-templates synced 2024-12-18 12:04:31 +01:00
Code Issues
main
github.com_the-nix-way_dev-.../lean4
History
Luc Perkins b23c9020c1
Update Nixpkgs
2024-11-18 18:56:13 -08:00
..
.envrc Add support for Lean 4 2024-10-12 00:19:54 +03:00
flake.lock Update Nixpkgs 2024-11-18 18:56:13 -08:00
flake.nix Add support for Lean 4 2024-10-12 00:19:54 +03:00