Skip to content

nightly-2024-12-06

Pre-release
Pre-release
Compare
Choose a tag to compare
@leodemoura leodemoura released this 06 Dec 08:34
· 1 commit to main since this release
nightly-2024-12-06
6e60d13
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-05:

Full commit log

  • 6e60d13 feat: getElem lemmas for Vector operations (#6324)
Assets 16
Loading