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

3 Commits

Author SHA1 Message Date
saundersp
37c59d3dfa Updated sci-mathematics/lean to 4.25.1 2025-11-18 12:45:56 +01:00
saundersp
0b1afab966 Updated sci-mathematics/lean to 4.25.0 2025-11-15 18:12:45 +01:00
saundersp
b038a4290c Added sci-mathematics/lean-4.25.0_rc2 2025-10-31 20:12:00 +01:00