Skip to content

Releases: google-deepmind/formal-conjectures

Release list

bench-v1-lean4.27.0

bench-v1-lean4.27.0 Latest
Latest

Choose a tag to compare

View all tags
@mo271 mo271 released this 06 May 07:42
bench-v1-lean4.27.0
7a41db3
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Category breakdown:

  • research open 1029
  • research solved 836
  • test 467
  • API 155
  • textbook 128
Assets 2
Loading