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 6 of 7

0.0.9

What's Changed
* bump by yangky11 in https://github.com/lean-dojo/LeanInfer/pull/20
* update docs by yangky11 in https://github.com/lean-dojo/LeanInfer/pull/21
* minor fix by yangky11 in https://github.com/lean-dojo/LeanInfer/pull/22
* minor fix by yangky11 in https://github.com/lean-dojo/LeanInfer/pull/23
* Cloud Release by yangky11 in https://github.com/lean-dojo/LeanInfer/pull/29


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

0.0.8

What's Changed
* Add confidence scores for output sequences by Peiyang-Song in https://github.com/lean-dojo/LeanInfer/pull/12
* Add LLM-generated Scores by yangky11 in https://github.com/lean-dojo/LeanInfer/pull/13
* LLM-aesop by yangky11 in https://github.com/lean-dojo/LeanInfer/pull/14
* chore: bump lean-toolchain to v4.2.0-rc4 by semorrison in https://github.com/lean-dojo/LeanInfer/pull/15
* Update Basic.lean by pitmonticone in https://github.com/lean-dojo/LeanInfer/pull/16
* CT2 backend, Aesop, etc. by yangky11 in https://github.com/lean-dojo/LeanInfer/pull/17
* Bug fixes: Make `check` effective & ban `aesop` by Peiyang-Song in https://github.com/lean-dojo/LeanInfer/pull/18
* minor change by yangky11 in https://github.com/lean-dojo/LeanInfer/pull/19

New Contributors
* Peiyang-Song made their first contribution in https://github.com/lean-dojo/LeanInfer/pull/12
* semorrison made their first contribution in https://github.com/lean-dojo/LeanInfer/pull/15
* pitmonticone made their first contribution in https://github.com/lean-dojo/LeanInfer/pull/16

**Full Changelog**: https://github.com/lean-dojo/LeanInfer/compare/v0.0.7...v0.0.8

0.0.7

Improved model downloading

0.0.6

What's Changed
* Lazy download by yangky11 in https://github.com/lean-dojo/LeanInfer/pull/11


**Full Changelog**: https://github.com/lean-dojo/LeanInfer/compare/v0.0.5...v0.0.6

0.0.5

What's Changed
* feat: arm64 cloud releases by tydeu in https://github.com/lean-dojo/LeanInfer/pull/9
* ARM64 Cloud Release by yangky11 in https://github.com/lean-dojo/LeanInfer/pull/10


**Full Changelog**: https://github.com/lean-dojo/LeanInfer/compare/v0.0.4...v0.0.5

0.0.4

What's Changed
* Improve installation by yangky11 in https://github.com/lean-dojo/LeanInfer/pull/8


**Full Changelog**: https://github.com/lean-dojo/LeanInfer/compare/v0.0.3...v0.0.4

Page 6 of 7

© 2024 Safety CLI Cybersecurity Inc. All Rights Reserved.