Schedule LeanEval source release

Sign in with GitHub to schedule release for a private production submission.

Sign in with GitHub

GitHub sign-in is required.

If you previously chose to keep accepted source private, scheduling confirms that you are authorized to license the accepted source under the Apache License 2.0 and irreversibly schedules it for release exactly two UTC calendar months after acceptance.