mathlib3
feat(archive/imo): add 2014 Q1
#6954
Open
Overview
Commits
18
Changes
View On GitHub
Commits
  • feat(archive/imo): Add 2014 Q1
    AdrianDoM committed 4 years ago
  • fix indentation
    AdrianDoM committed 4 years ago
  • fix typo
    AdrianDoM committed 4 years ago
  • fix whitespace
    AdrianDoM committed 4 years ago
  • typo
    AdrianDoM committed 4 years ago
  • whitespace
    AdrianDoM committed 4 years ago
  • whitespace
    AdrianDoM committed 4 years ago
  • Remove non-terminal simps
    AdrianDoM committed 4 years ago
  • Apply suggestions
    AdrianDoM committed 4 years ago
  • Move iff up
    AdrianDoM committed 4 years ago
  • Update archive/imo/imo2014_q1.lean
    vihdzp committed 4 years ago
  • Update archive/imo/imo2014_q1.lean
    vihdzp committed 4 years ago
  • Update archive/imo/imo2014_q1.lean
    vihdzp committed 4 years ago
  • Update archive/imo/imo2014_q1.lean
    vihdzp committed 4 years ago
  • Update archive/imo/imo2014_q1.lean
    vihdzp committed 4 years ago
  • Update archive/imo/imo2014_q1.lean
    vihdzp committed 4 years ago
  • Merge branch 'master' into imo2014q1
    vihdzp committed 4 years ago
  • Merge branch 'imo2014q1' of https://github.com/leanprover-community/mathlib into imo2014q1
    vihdzp committed 4 years ago
FAQ Terms Privacy Refunds Impressum
Loading