math/lean: Update 3.42.1 -> 3.43.0
Reported by: portscout
Description
Description
Details
Details
- Provenance
yuri Authored on May 18 2022, 7:27 PM - Parents
- R11:fd9b45c848db: lang/erlang-man: update to version 24.3
- Branches
- Unknown
- Tags
math/lean: Update 3.42.1 -> 3.43.0 Tags None Referenced Files None Subscribers None |