v0.11.1

Add support for Lean v4.28.0 and v4.29.0-rc1

Full Changelog: v0.11.0...v0.11.1

v0.11.0

• Add support for Lean v4.27.0 and v4.28.0-rc1
• Add context manager for LeanServer and AutoLeanServer
• Add LeanServerPool for parallel processing of commands

Full Changelog: v0.10.5...v0.11.0

v0.10.5

Add support for Lean v4.26.0 and v4.27.0-rc1

Full Changelog: v0.10.4...v0.10.5

v0.10.4

• Fix auto_build parameter for git and temporary projects
• Make REPL build skippable
• Print check_lake output for debugging (when verbose=True)

Full Changelog: v0.10.3...v0.10.4

v0.10.3

Add support for Lean v4.24.1 and v4.25.2

Full Changelog: v0.10.2...v0.10.3

v0.10.2

Add support for Lean v4.26.0-rc2

Full Changelog: v0.10.1...v0.10.2

v0.10.1

Add support for Lean v4.26.0-rc1

Full Changelog: v0.10.0...v0.10.1

v0.10.0

• Add ReplaySessionCache to replay commands, offering a more reliable alternative to PickleSessionCache. ReplaySessionCache is now the default in AutoLeanServer.
• Make session caching thread-safe
• Add support for Lean v4.25.1
• Add multi-threading examples

Full Changelog: v0.9.3...v0.10.0

v0.9.3

Add support for Lean v4.25.0

v0.9.2

Add support for Lean v4.25.0-rc1 and v4.25.0-rc2.

Full Changelog: v0.9.1...v0.9.2