mirror/github.com_the-nix-way_dev-templates
1
1
Fork 0
mirror of https://github.com/the-nix-way/dev-templates synced 2025-07-27 06:14:20 +02:00
Code Issues
main
github.com_the-nix-way_dev-.../lean4
History
Luc Perkins 608cf9c164
Switch to fenix for Rust template
2025-06-01 12:15:34 -07:00
..
.envrc Add support for Lean 4 2024-10-12 00:19:54 +03:00
flake.lock Switch to fenix for Rust template 2025-06-01 12:15:34 -07:00
flake.nix Modernize things a bit 2025-05-03 15:46:04 -03:00