v0.0.136

github-actions released this 27 Mar 16:51

· 395 commits to master since this release

4979a7f

Add support for lakefile.toml (added in leanprover/lean4#3298) (#420)
Replace stale dependency notifications with a simple "Restart File" button in the InfoView (#419)

Assets 3