math/lean: Add to pkg-message
Description
Description
Details
Details
- Provenance
yuri Authored on Sep 6 2022, 4:05 PM - Parents
- R11:50e722f39224: math/mathlibtools: New port: Lean prover mathlib supporting tools
- Branches
- Unknown
- Tags
math/lean: Add to pkg-message Tags None Referenced Files None Subscribers None |