Recent Releases of leanproject
leanproject - v4.22.0
Automated release for Lean version v4.22.0
- Python
Published by github-actions[bot] 7 months ago
leanproject - v4.22.0-rc4
Automated release for Lean version v4.22.0-rc4
- Python
Published by github-actions[bot] 7 months ago
leanproject - v4.22.0-rc3
Automated release for Lean version v4.22.0-rc3
- Python
Published by github-actions[bot] 8 months ago
leanproject - v4.21.0
Automated release for Lean version v4.21.0
- Python
Published by github-actions[bot] 8 months ago
leanproject - v4.21.0-rc3
Automated release for Lean version v4.21.0-rc3
- Python
Published by github-actions[bot] 9 months ago
leanproject - v4.21.0-rc2
Automated release for Lean version v4.21.0-rc2
- Python
Published by github-actions[bot] 9 months ago
leanproject - v4.21.0-rc1
Automated release for Lean version v4.21.0-rc1
- Python
Published by github-actions[bot] 9 months ago
leanproject - v4.20.1
Automated release for Lean version v4.20.1
- Python
Published by github-actions[bot] 9 months ago
leanproject - v4.20.1-rc1
Automated release for Lean version v4.20.1-rc1
- Python
Published by github-actions[bot] 9 months ago
leanproject - v4.20.0
Automated release for Lean version v4.20.0
- Python
Published by github-actions[bot] 9 months ago
leanproject - v4.19.0
Automated release for Lean version v4.19.0
- Python
Published by github-actions[bot] 10 months ago
leanproject - v4.19.0-rc3
Automated release for Lean version v4.19.0-rc3
- Python
Published by github-actions[bot] 11 months ago
leanproject - v4.19.0-rc2
Automated release for Lean version v4.19.0-rc2
- Python
Published by github-actions[bot] 11 months ago
leanproject - v4.18.0-rc1
Automated release for Lean version v4.18.0-rc1
- Python
Published by github-actions[bot] 12 months ago
leanproject - v4.17.0-rc1
Automated release for Lean version v4.17.0-rc1
- Python
Published by github-actions[bot] about 1 year ago
leanproject - v4.16.0
Automated release for Lean version v4.16.0
- Python
Published by github-actions[bot] about 1 year ago
leanproject - v4.16.0-rc2
Automated release for Lean version v4.16.0-rc2
- Python
Published by github-actions[bot] about 1 year ago
leanproject - v4.16.0-rc1
Automated release for Lean version v4.16.0-rc1
- Python
Published by github-actions[bot] about 1 year ago
leanproject - v4.15.0-rc1
Automated release for Lean version v4.15.0-rc1
- Python
Published by github-actions[bot] about 1 year ago
leanproject - v4.14.0-rc2
Automated release for Lean version v4.14.0-rc2
- Python
Published by github-actions[bot] over 1 year ago
leanproject - v4.13.0
Automated release for Lean version v4.13.0
- Python
Published by github-actions[bot] over 1 year ago