Skip to content

nightly-2024-12-20

Pre-release
Pre-release
Compare
Choose a tag to compare
@leodemoura leodemoura released this 20 Dec 10:51
· 1 commit to main since this release
nightly-2024-12-20
9a53c88
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-19:

Full commit log

  • 9a53c88 chore: temporarily disable Web Assembly build in CI (#6424)
  • e06673e feat: lemmas about List/Array/Vector lexicographic order (#6423)
  • 7b0b190 feat: lake: local package overrides (#6411)
  • 759da5d fix: lake: afterBuildCache* traces (#6422)
  • 9fca337 fix: multiple bugs in grind (#6419)
  • 12cadda fix: process delayed assignment metavariables correctly in Lean.Meta.Closure (#6414)
  • b4ff545 feat: lemmas about lexicographic order on Array and Vector (#6399)
  • 5dd3536 chore: protect Nat.div_eq_iff (#6417)
Assets 14
Loading