Skip to content

Releases: PS-Soundwave/lean4

Release list

minimal-v0.1

minimal-v0.1 Pre-release
Pre-release

Choose a tag to compare

View all tags
@github-actions github-actions released this 24 Dec 04:52
minimal-v0.1
This tag was signed with the committer’s verified signature.
PS-Soundwave Soundwave
GPG key ID: FE11E63383FABB38
Verified
Learn about vigilant mode.
e7a4b54
This commit was signed with the committer’s verified signature.
PS-Soundwave Soundwave
GPG key ID: FE11E63383FABB38
Verified
Learn about vigilant mode. 
Initial release of a fork of Lean with minimal notations in the prelu…
Loading

v4.15.0-rc1

v4.15.0-rc1 Pre-release
Pre-release

Choose a tag to compare

View all tags
@github-actions github-actions released this 24 Dec 00:08
v4.15.0-rc1
ffac974 
feat: more UInt bitwise theorems (#6188)

This PR completes the `toNat` theorems for the bitwise operations
(`and`, `or`, `xor`, `shiftLeft`, `shiftRight`) of the UInt types and
adds `toBitVec` theorems as well. It also renames `and_toNat` to
`toNat_and` to fit with the current naming convention.
Loading