v0.0.146-pre
Pre-release
Pre-release
·
359 commits
to master
since this release
- Fixes an issue where opening the core Lean 4 repository would yield an error (#443)