Skip to content

nightly-2024-12-12

Pre-release
Pre-release
Compare
Choose a tag to compare
@leodemoura leodemoura released this 12 Dec 08:38
· 1 commit to main since this release
nightly-2024-12-12
48be424
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

Changes since nightly-2024-12-11:

Full commit log

  • 48be424 feat: lemmas about Vector.any/all/set (#6369)
  • 58f8e21 feat: labeled and unique sorries (#5757)
  • a64a17e feat: Nat.shiftRight_bitwise_distrib (#6334)
  • b862e2d chore: preserve reported messages in MessageLog (#6307)
Assets 16
Loading