Skip to content

Lean4 0.1.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 21 Oct 06:48
· 2 commits to main since this release
0.1.0
f91fd33

Changelog

0.1.0 - 2026-10-21

  • Independent Lean / Lean4 blocks and opt-in shared sessions within a note.
  • Managed basic Lean environment and existing Lake project support.
  • Proof goals, hypotheses, diagnostics, syntax highlighting and Unicode input.
  • Compact check actions, semantic status colors and responsive goal panel.
  • English and Simplified Chinese interfaces following Obsidian's language.

Initial preview release; desktop only. Completion, hover, go-to-definition and interactive Lean widgets are not included. See validation scope.

Assets 7
Loading