tomasr/nixos
1
0
Fork 0
mirror of https://github.com/tomasriveral/nixos.git synced 2026-08-12 10:30:44 +02:00
Code Issues Packages Projects Releases Wiki Activity
463 Commits 4 Branches 0 Tags
4bf8fe10c9a38d1a01d78afcc3436a2a898ee266
Commit Graph
1 Commits
Author SHA1 Message Date
tomasr 68d81d5c4b mathematics: init module with lean4 2026-06-10 10:19:51 +02:00