v0.0.23-pre
Pre-release
Pre-release
·
183 commits
to main
since this release
This pre-release is built using leanprover/lean4#2766, which changes the olean format.