Skip to content

v1.1.0

Choose a tag to compare

View all tags
@Eagle941 Eagle941 released this 16 Oct 16:22
· 11 commits to main since this release
v1.1.0
18e62cc
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

What's Changed

  • chore: Importing single mathlib modules instead of full library in #17
  • feat: new theorems in #18
    • Refactored Binary.lean and removed unused theorems
    • Added convertion from Nat to Vector Dir using Dir.nat_to_dir_vec
    • Expanded MerkleTree functions to take Nat in place of Vector Dir
    • Expanded MerkleTree theorems
    • Expanded Vector theorems
    • Added semantic equivalence for Gates.select and Gates.or
Assets 2
Loading