Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 8, 2015

• Chapter 15: Extraction

  bishboria

  committed
  48da900

  Copy full SHA for 48da900

Commits on Jan 7, 2015

• missed a case in com_cases

  bishboria

  committed
  5eac18b

  Copy full SHA for 5eac18b

• Chapters 13-14: Imp Parser, Imp CEval function

  bishboria

  committed
  69adc02

  Copy full SHA for 69adc02

• Chapter 12: Simple imperative programs

  bishboria

  committed
  d023576

  Copy full SHA for d023576

Commits on Dec 25, 2014

• Chapter 11: More Induction

  bishboria

  committed
  09486bf

  Copy full SHA for 09486bf

Commits on Dec 18, 2014

• Chapter 10: Proof Objects

  bishboria

  committed
  1078185

  Copy full SHA for 1078185

Commits on Dec 14, 2014

• Chapter 9: More Logic

  bishboria

  committed
  6e586b6

  Copy full SHA for 6e586b6

Commits on Dec 11, 2014

• Chapter 8: Propositions and evidence

  bishboria

  committed
  19e4b58

  Copy full SHA for 19e4b58

• Chapter 7: Rel properties of relations

  bishboria

  committed
  b2ae1d9

  Copy full SHA for b2ae1d9

Commits on Dec 9, 2014

• Chapter 6: Logic in Coq

  bishboria

  committed
  4e73451

  Copy full SHA for 4e73451

Commits on Dec 8, 2014

• Chapter 5: More About Coq

  bishboria

  committed
  5cf4f55

  Copy full SHA for 5cf4f55

Commits on Nov 10, 2014

• Chapter 4: Poly

  bishboria

  committed
  9156b92

  Copy full SHA for 9156b92

Commits on Nov 9, 2014

• Chapter 3: Lists

  bishboria

  committed
  da2e35e

  Copy full SHA for da2e35e

Commits on Nov 7, 2014

• Ignore compiled files

  bishboria

  committed
  56aafcc

  Copy full SHA for 56aafcc

Commits on Nov 6, 2014

• Chapter 2: Induction

  bishboria

  committed
  ebd7d32

  Copy full SHA for ebd7d32

Commits on Oct 29, 2014

• Chapter 1: Basics complete

  bishboria

  committed
  1941c41

  Copy full SHA for 1941c41