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
531 Commits 4 Branches 0 Tags
00300344182d87ffb21014f0bf0fe3ea0d2163d8
Commit Graph
3 Commits
Author SHA1 Message Date
tomasr 2d16f3893b Auto: cleanup-2026-06-14T15-26-03Z 2026-06-14 17:26:24 +02:00
tomasr d9969cbd71 mathematics: init module with lean4 2026-06-10 10:20:35 +02:00
tomasr 259ee7e554 mathematics: init module with lean4 2026-06-09 20:11:19 +02:00