Skip to content

v0.2.0

Choose a tag to compare

View all tags
@oOo0oOo oOo0oOo released this 13 Jun 14:37
· 566 commits to main since this release
v0.2.0
ecb590d

Features:

  • New tool lean_run_code: Run/compile independent code snippets/files and receive diagnostic messages.
  • Configuration of env variable LEAN_PROJECT_PATH no longer required.

Full Changelog: v0.1.11...v0.2.0

Assets 2
Loading