Skip to content

nightly-2025-01-07

Pre-release
Pre-release
Compare
Choose a tag to compare
@leodemoura leodemoura released this 07 Jan 08:38
· 1 commit to main since this release
nightly-2025-01-07
97d07a5
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-06:

Full commit log

  • 97d07a5 feat: basic case-split for grind (#6559)
  • a424029 feat: Array lemma alignment; fold and map (#6546)
  • db3ab39 feat: propagate implication in the grind tactic (#6556)
  • 8dec579 feat: grind tests for basic category theory (#6543)
  • 3ca3f84 fix: avoid new tokens _=_ and =_ (#6554)
  • 2c9641f doc: modify aesop usage example of omegaDefault (#6549)
Assets 14
Loading