Skip to content

nightly-2025-01-18

Pre-release
Pre-release
Compare
Choose a tag to compare
@leodemoura leodemoura released this 18 Jan 08:40
· 1 commit to main since this release
nightly-2025-01-18
d4070d4
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-2025-01-17:

Full commit log

  • d4070d4 fix: grind parameter issues and configuration (#6686)
  • 4d4c094 feat: extensionality theorems in grind (#6682)
  • 9b629cc chore: update stage0
  • f374ef1 refactor: move ext environment extension to Lean.Meta.Tactic
Assets 14
Loading