Repository navigation

v0.12.0

oOo0oOo released this 06 Jul 12:58

· 16 commits to main since this release

4b26351

Adds asyncio-native Lean LSP client with scratch-document execution, partial diagnostics, Lean 4.30 support and stronger transport failure handling.

Full Changelog: v0.11.0...v0.12.0

Assets 2