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
487 Commits 4 Branches 0 Tags
3b89cf7b359efb0e9b7e62e583d5d959fe1bf1be
Commit Graph
2 Commits
Author SHA1 Message Date
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