Skip to content

nightly-2024-12-13

Pre-release
Pre-release
Compare
Choose a tag to compare
@leodemoura leodemoura released this 13 Dec 08:36
· 1 commit to main since this release
nightly-2024-12-13
bac34c7
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-12:

Full commit log

  • bac34c7 feat: theorems about == on Vector (#6376)
  • db354d2 chore: run Batteries linter on Lean (#6364)
  • 945abe0 fix: unused let_fun elimination in simp (#6375)
Assets 16
Loading