v0.0.177

github-actions released this 28 Aug 12:16

· 5 commits to master since this release

Fixes a bug where clicking the filter button in the InfoView would collapse the goal state (#511)
Updates the display name of the extension from lean4 to Lean 4 so that it can be searched for more easily (#521)

Assets 3