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

1 Commits

Author SHA1 Message Date
saundersp
b038a4290c Added sci-mathematics/lean-4.25.0_rc2 2025-10-31 20:12:00 +01:00