Skip to content

v0.0.152-pre

Pre-release
Pre-release

Choose a tag to compare

View all tags
@github-actions github-actions released this 23 May 16:49
· 347 commits to master since this release
v0.0.152-pre
1e2d7f3
  • Add an extensive manual for the VS Code extension and how it interacts with Lean (#453)
Assets 3
Loading