kamov/dotfiles
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity
dotfiles/nixos/msi/modules
History
Maciej Jur e43516374d
add lean4
2024-07-22 23:55:51 +02:00
..
ghci add lean4 2024-07-22 23:55:51 +02:00
gaming.nix add lean4 2024-07-22 23:55:51 +02:00
lean.nix add lean4 2024-07-22 23:55:51 +02:00
ocaml.nix add lean4 2024-07-22 23:55:51 +02:00