Skip to content

nightly-2024-12-18

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

Full commit log

  • bc9b814 feat: reserved names for congruence theorems (#6412)
  • 11fc9b9 chore: update documentation title and link README to reference (#6409)
  • dc24ebd fix: ghost goals in autoparam tactic block (#6408)
Assets 16
Loading