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
428 Commits 4 Branches 0 Tags
34cde6f6f45402144a0a71451470e6f9eb993977
Commit Graph
1 Commits
Author SHA1 Message Date
tomasr 68d81d5c4b mathematics: init module with lean4 2026-06-10 10:19:51 +02:00