Skip to content

nightly-2025-01-02

Pre-release
Pre-release
Compare
Choose a tag to compare
@leodemoura leodemoura released this 02 Jan 08:37
· 1 commit to main since this release
nightly-2025-01-02
8d9d814
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Changes since nightly-2025-01-01:

Full commit log

  • 8d9d814 feat: grind simple strategy (#6503)
  • a08379c fix: proof generation for grind tactic (#6502)
  • f0c5936 feat: add PersistentHashSet.toList (#6501)
  • c0d67e2 fix: bug in markNestedProofs within grind (#6500)
  • a8d09da fix: proof canonicalizer in grind (#6499)
  • f7c4edc feat: dependent forall propagator in grind (#6498)
  • 82bae24 fix: another bug in theorem instantiation in grind (#6497)
  • fedaf85 fix: theorem instantiation in grind (#6492)
Assets 14
Loading