This website requires JavaScript.
Explore
Help
Register
Sign In
mirror
/
github.com_the-nix-way_dev-templates
Watch
1
Star
1
Fork
0
You've already forked github.com_the-nix-way_dev-templates
mirror of
https://github.com/the-nix-way/dev-templates
synced
2025-07-01 00:36:58 +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