Skip to content

v0.8.0

Choose a tag to compare

View all tags
@augustepoiroux augustepoiroux released this 24 Jul 09:14
· 46 commits to main since this release
v0.8.0
This tag was signed with the committer’s verified signature.
augustepoiroux Auguste Poiroux
GPG key ID: 044E5F021BD88C0E
Verified
Learn about vigilant mode.
5af39c2

What's Changed

  • Separate Lean projects and LeanREPLConfig set up logic by @augustepoiroux in #30
    • Project classes can now be used as independent units for managing Lean projects.
    • For new usage, check the projects page in the documentation (minimal breaking changes).
  • Major update to the documentation (link)
    • Online documentation now shows documentation for previous package versions by @augustepoiroux in #31
    • Improved doc interface and content
    • Improved docstrings in the Python package

Full Changelog: v0.7.0...v0.8.0

Contributors

augustepoiroux
Assets 2
Loading