lean4-nightly
lean4-nightly copied to clipboard
leanprover
Nightly builds
Results
1
lean4-nightly issues
Sort by
recently updated
recently updated
newest added
* Brief instructions on how to use nightlies in `lean-toolchain`. * Pointer to https://leanprover-community.github.io/contribute/tags_and_branches.html with even more details.
