saundersp/saundersp-overlay
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
322 Commits 1 Branch 0 Tags
c1ea1e368ff8f9e28797213194a99e80e15f8e79
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