tomasr/nixos
1
0
Fork 0
mirror of https://github.com/tomasriveral/nixos.git synced 2026-08-12 18:30:46 +02:00
Code Issues Packages Projects Releases Wiki Activity
513 Commits 4 Branches 0 Tags
a7370a65e76a4c0f94a078d95c3993c69bd56787
Commit Graph
2 Commits
Author SHA1 Message Date
tomasr 4f3a74b741 Auto: cleanup-2026-06-13T20-10-24Z 2026-06-13 22:10:43 +02:00
tomasr 68d81d5c4b mathematics: init module with lean4 2026-06-10 10:19:51 +02:00