Releases: Polarnova/CryptBoolean
Releases · Polarnova/CryptBoolean
Release list
CryptBoolean v0.6.5
Immutable
release. Only release title and notes can be modified.
Full Changelog: v0.6.0...v0.6.5
CryptBoolean v0.6.0
Immutable
release. Only release title and notes can be modified.
Full Changelog: v0.5.1...v0.6.0
CryptBoolean v0.5.1
Immutable
release. Only release title and notes can be modified.
Contributors
Polarnova
Assets 5
CryptBoolean v0.4.1
Immutable
release. Only release title and notes can be modified.
Full Changelog: v0.3.5...v0.4.1
CryptBoolean v0.3.5
Immutable
release. Only release title and notes can be modified.
What's Changed
- Accelerate finite proof certificates for v0.3.5 by @Polarnova in #7
Full Changelog: v0.3.0...v0.3.5
Contributors
Polarnova
Assets 5
CryptBoolean v0.3.0
Immutable
release. Only release title and notes can be modified.
What's Changed
- ci: consume and track FABL releases by @Polarnova in #1
- chore: complete repository license metadata by @Polarnova in #2
- Close Chapter 4: Boolean functions and cryptography by @Polarnova in #4
- Run release audits in the release workspace by @Polarnova in #5
- Reuse verified Lean proofs across release platforms by @Polarnova in #6
New Contributors
- @Polarnova made their first contribution in #1
Full Changelog: https://github.com/Polarnova/CryptBoolean/commits/v0.3.0
Contributors
Polarnova