Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: mathlib update to v4.2.0 #20

Merged
merged 19 commits into from
Mar 4, 2024
Merged

chore: mathlib update to v4.2.0 #20

merged 19 commits into from
Mar 4, 2024

Commits on Oct 21, 2023

  1. Added theorems for delete circuit

    @Eagle941
    Eagle941 committed Oct 21, 2023
    Configuration menu
    Copy the full SHA
    0e12d80 View commit details
    Browse the repository at this point in the history

  2. Refactoring zmod_to_bit

    @Eagle941
    Eagle941 committed Oct 21, 2023
    Configuration menu
    Copy the full SHA
    e682985 View commit details
    Browse the repository at this point in the history

  3. New binary theorems

    @Eagle941
    Eagle941 committed Oct 21, 2023
    Configuration menu
    Copy the full SHA
    d1ac176 View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2023

  1. Merkle theorem

    @Eagle941
    Eagle941 committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    5803737 View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2023

  1. New theorems for deletion circuit and updated mathlib

    @Eagle941
    Eagle941 committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    4d6558d View commit details
    Browse the repository at this point in the history

Commits on Nov 3, 2023

  1. New merkletree proof

    @Eagle941
    Eagle941 committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    b12b886 View commit details
    Browse the repository at this point in the history

  2. Removed unused comments

    @Eagle941
    Eagle941 committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    25ab09a View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2023

  1. Added theorems

    @Eagle941
    Eagle941 committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    a1e766a View commit details
    Browse the repository at this point in the history

  2. New merkle tree theorems

    @Eagle941
    Eagle941 committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    b2be7e0 View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2023

  1. New theorems

    @Eagle941
    Eagle941 committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    cb1288d View commit details
    Browse the repository at this point in the history

  2. Added keccak utils

    @Eagle941
    Eagle941 committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    c612b94 View commit details
    Browse the repository at this point in the history

  3. Added import

    @Eagle941
    Eagle941 committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    c47129d View commit details
    Browse the repository at this point in the history

  4. Added bit theorems

    @Eagle941
    Eagle941 committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    87915b4 View commit details
    Browse the repository at this point in the history

  5. Fixed imports

    @Eagle941
    Eagle941 committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    89c96ee View commit details
    Browse the repository at this point in the history

  6. Updated vector

    @Eagle941
    Eagle941 committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    67ed8a5 View commit details
    Browse the repository at this point in the history

  7. Fixed names

    @Eagle941
    Eagle941 committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    9fc2a8d View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2023

  1. Updated to lean 4.2.0

    @Eagle941
    Eagle941 committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    80c7e68 View commit details
    Browse the repository at this point in the history

Commits on Feb 29, 2024

  1. Updated for merge

    @Eagle941
    Eagle941 committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    30434f5 View commit details
    Browse the repository at this point in the history

  2. Merged

    @Eagle941
    Eagle941 committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    c8c0a40 View commit details
    Browse the repository at this point in the history