math/lean4: update 4.25.1 → 4.25.2
Description
Description
Details
Details
- Provenance
yuri Authored on Nov 25 2025, 8:30 AM - Parents
- R11:f7891f81ea03: sysutils/mise: update 2025.11.5 → 2025.11.7
- Branches
- Unknown
- Tags
math/lean4: update 4.25.1 → 4.25.2 Tags None Referenced Files None Subscribers None |