This website requires JavaScript.
Explore
Help
Register
Sign In
saundersp
/
saundersp-overlay
Watch
1
Star
0
Fork
0
You've already forked saundersp-overlay
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
Files
main
Add File
New File
Upload File
Apply Patch
saundersp-overlay
/
sci-mathematics
/
lean
History
saundersp
b038a4290c
Added sci-mathematics/lean-4.25.0_rc2
2025-10-31 20:12:00 +01:00
..
lean-4.25.0_rc2.ebuild
Added sci-mathematics/lean-4.25.0_rc2
2025-10-31 20:12:00 +01:00
Manifest
Added sci-mathematics/lean-4.25.0_rc2
2025-10-31 20:12:00 +01:00
metadata.xml
Added sci-mathematics/lean-4.25.0_rc2
2025-10-31 20:12:00 +01:00
