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

Jump to bottom

feat: Array lemma for empty map added #877

Merged
merged 3 commits into from
Jul 19, 2024
Merged

feat: Array lemma for empty map added #877

merged 3 commits into from
Jul 19, 2024

Commits on Jul 10, 2024

  1. Array lemma for empty map added

    @Shreyas4991
    Shreyas4991 committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    ee262b7 View commit details
    Browse the repository at this point in the history

  2. Update Lemmas.lean: fix name of map empty

    @Shreyas4991
    Shreyas4991 committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    fc26628 View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2024

  1. Update Batteries/Data/Array/Lemmas.lean 

    add mapM_empty theorem

Co-authored-by: François G. Dorais <fgdorais@gmail.com>
    @Shreyas4991 @fgdorais
    Shreyas4991 and fgdorais committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    02c7bab View commit details
    Browse the repository at this point in the history