Commits

Branch selector

 master

User selector

spl

Datepicker

All time

Commit History

Commits on Feb 5, 2016

• fix(13): change finset.induction to Lean text

  Show description for 7b2f5a1
  

  spl

  authored and

  soonhokong

  committed
  7b2f5a1

  Copy full SHA for 7b2f5a1

Commits on Feb 4, 2016

• fix(13): typos, denoted

  Show description for 6187d60
  

  spl

  authored and

  soonhokong

  committed
  6187d60

  Copy full SHA for 6187d60

• fix(13): improve wording

  Show description for 3997afa
  

  spl

  authored and

  soonhokong

  committed
  3997afa

  Copy full SHA for 3997afa

• fix(12): rename encB to encA

  Show description for 848976e
  

  spl

  authored and

  soonhokong

  committed
  848976e

  Copy full SHA for 848976e

• fix(12): remove unneeded 'open quot'

  

  spl

  authored and

  soonhokong

  committed
  0d17ef3

  Copy full SHA for 0d17ef3

• fix(12): use proper bracketing, don't use numeral

  Show description for 0acbf4e
  

  spl

  authored and

  soonhokong

  committed
  0acbf4e

  Copy full SHA for 0acbf4e

• fix(12): typos, wording

  

  spl

  authored and

  soonhokong

  committed
  20a1403

  Copy full SHA for 20a1403

• fix(11): improve wording

  Show description for 6f24438
  

  spl

  authored and

  soonhokong

  committed
  6f24438

  Copy full SHA for 6f24438

• fix(10): add code tags

  Show description for 3e0b684
  

  spl

  authored and

  soonhokong

  committed
  3e0b684

  Copy full SHA for 3e0b684

• fix(10): improve correctness of sentence

  Show description for f9840c9
  

  spl

  authored and

  soonhokong

  committed
  f9840c9

  Copy full SHA for f9840c9

• fix(09): typo

  

  spl

  authored and

  soonhokong

  committed
  c1ee9fa

  Copy full SHA for c1ee9fa

• fix(08): typo

  

  spl

  authored and

  soonhokong

  committed
  7a6d3e4

  Copy full SHA for 7a6d3e4

• fix(08): typo

  

  spl

  authored and

  soonhokong

  committed
  e91e285

  Copy full SHA for e91e285

• fix(08): code tag

  

  spl

  authored and

  soonhokong

  committed
  6c9580f

  Copy full SHA for 6c9580f

• fix(07): incorrect type

  

  spl

  authored and

  soonhokong

  committed
  56cdde3

  Copy full SHA for 56cdde3

• fix(07): typo

  

  spl

  authored and

  soonhokong

  committed
  76f7967

  Copy full SHA for 76f7967

• fix(07): fib_pos: show hypothesis, simplify proof

  Show description for 4e876f4
  

  spl

  authored and

  soonhokong

  committed
  4e876f4

  Copy full SHA for 4e876f4

Commits on Jan 28, 2016

• fix(06): rephrase confusing and imprecise text

  Show description for 1949999
  

  spl

  authored and

  soonhokong

  committed
  1949999

  Copy full SHA for 1949999

• fix(06): clarify grammar

  

  spl

  authored and

  soonhokong

  committed
  16d72bf

  Copy full SHA for 16d72bf

• fix(05): use code tags for exit command

  

  spl

  authored and

  soonhokong

  committed
  e68532d

  Copy full SHA for e68532d

• fix(05): use bulleted list for Emacs links

  

  spl

  authored and

  soonhokong

  committed
  4476eda

  Copy full SHA for 4476eda

• fix(05): swap arguments to replaces

  

  spl

  authored and

  soonhokong

  committed
  cfd9913

  Copy full SHA for cfd9913

Commits on Jan 20, 2016

• fix(04): fix grammar, minor clarification

  

  spl

  authored and

  soonhokong

  committed
  66a7891

  Copy full SHA for 66a7891

Commits on Jan 12, 2016

• fix(02): typo

  

  spl

  authored and

  soonhokong

  committed
  536296d

  Copy full SHA for 536296d