saundersp/saundersp-overlay
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
321 Commits 1 Branch 0 Tags
0b1afab96646f70a4111aa8947f4447624889c18
Commit Graph

1 Commits

Author SHA1 Message Date
saundersp
0b1afab966 Updated sci-mathematics/lean to 4.25.0 2025-11-15 18:12:45 +01:00