This repository has been archived by the owner on Jul 22, 2024. It is now read-only.
migrate to lean4 #2
Comments
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
The first milestone is out: https://github.com/leanprover/lean4/releases/tag/v4.0.0-m1
The text was updated successfully, but these errors were encountered: