v0.0.142-pre

Pre-release

Pre-release

github-actions released this 19 Apr 11:23

· 379 commits to master since this release

4f5dc8c

Use the correct toolchain when opening sub-folders of Lean 4 projects (#433)

Assets 3