Skip to content

nightly-2024-12-14

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

Full commit log

  • 280fcc9 feat: lean --error=kind (#6362)
  • 19eac5f fix: propagate Simp.Config when reducing terms and checking definitional equality in simp (#6123)
  • aa00725 chore: stop running compiler twice during tests (#6321)
  • 7530fd6 chore: remove Lean.Compiler.LCNF.ForEachExpr (#6313)
  • 58ffd15 doc: fix typo reference in doc of lazy discrimination tree (#6377)
Assets 16
Loading