Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Commits on Jul 9, 2012
  1. Updated README.

    authored
  2. Updated README.

    authored
  3. Added logo

    authored
    --HG--
    rename : README => README.md
Commits on Jul 3, 2012
  1. Merge pull request #2 from norm2782/master

    authored
    s/PermApp/PermAppL, add PermAppR, remove NoDupAppConsR', cleanup NoDupAppL, remove NoDupAppApp
Commits on Jul 2, 2012
  1. @norm2782

    Remove PermAppAss

    norm2782 authored
  2. @norm2782

    Remove NoDupAppConsR'

    norm2782 authored
  3. @norm2782
  4. @norm2782
  5. @norm2782
  6. Merge pull request #1 from norm2782/master

    authored
    Add and prove several lemmas for NoDup, Permutation, and In
Commits on Jun 29, 2012
  1. @norm2782

    Cleanup

    norm2782 authored
  2. @norm2782
  3. @norm2782
  4. @norm2782
  5. @norm2782
  6. @norm2782

    WIP: NoDupNotIn

    norm2782 authored
  7. @norm2782

    Minor cleanup

    norm2782 authored
  8. @norm2782

    Revert "Add PermutationMaybeNilFlatMap"

    norm2782 authored
    This reverts commit 8144f36.
  9. @norm2782
  10. @norm2782

    Prove NotInCons

    norm2782 authored
  11. @norm2782

    Formatting

    norm2782 authored
  12. @norm2782

    Minor proof refactoring

    norm2782 authored
Commits on Jun 28, 2012
  1. @norm2782
  2. @norm2782
  3. @norm2782
  4. @norm2782
  5. @norm2782

    Refactor NoDupFlatMapCons

    norm2782 authored
  6. @norm2782
  7. @norm2782
  8. @norm2782

    Switch args

    norm2782 authored
  9. @norm2782

    Push

    norm2782 authored
Commits on Jun 27, 2012
  1. @norm2782
  2. @norm2782
Something went wrong with that request. Please try again.