math/lean4: update 4.11.0 → 4.12.0
Description
Description
Details
Details
- Provenance
yuri Authored on Oct 3 2024, 7:21 AM - Parents
- R11:30cc2ea76f91: textproc/vacuum: update 0.13.1 → 0.13.2
- Branches
- Unknown
- Tags
math/lean4: update 4.11.0 → 4.12.0 Tags None Referenced Files None Subscribers None |