Lean-dojo

Latest version: v1.9.0

Safety actively analyzes 638741 Python packages for vulnerabilities to keep your Python projects secure.

Scan your dependencies

Page 5 of 7

1.1.1

1.1.0

What's Changed
* Frontend migration by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/48
* Frontend update by yangky11 in https://github.com/lean-dojo/LeanCopilot/pull/49
* add warnings for updated model by yangky11 in https://github.com/lean-dojo/LeanCopilot/pull/50
* Add check option back by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/51


**Full Changelog**: https://github.com/lean-dojo/LeanCopilot/compare/v1.0.2...v1.1.0

1.0.2

**Full Changelog**: https://github.com/lean-dojo/LeanCopilot/compare/v1.0.1...v1.0.2

1.0.1

Bump to `leanprover/lean4:v4.5.0-rc1`

**Full Changelog**: https://github.com/lean-dojo/LeanCopilot/compare/v1.0.0...v1.0.1

1.0.0

0.1.0

**Full Changelog**: https://github.com/lean-dojo/LeanInfer/compare/v0.0.9...v0.1.0

Page 5 of 7

© 2024 Safety CLI Cybersecurity Inc. All Rights Reserved.