v0.0.117

github-actions released this 23 Oct 16:08

· 469 commits to master since this release

a79d9b4

Add project commands, command menu and walkthrough (#334)
Change defaults for whitespace settings in Lean 4 files (#341)

Assets 3