v0.0.144

github-actions released this 06 May 08:48

· 363 commits to master since this release

47f1e2c

Add support for multi-toolchain projects and support correct operation when no project folder is opened (#428)
Use the correct toolchain when opening sub-folders of Lean 4 projects (#433)
Fix a bug where output URIs would regularly crash the VS Code extension (#437)

Assets 3