lean4-nightly icon indicating copy to clipboard operation
lean4-nightly copied to clipboard
verified publisher icon leanprover

Update README.md

Open jcommelin opened this issue 1 year ago • 0 comments

  • 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.

jcommelin avatar Jul 04 '24 08:07 jcommelin