Week

Class

HW

Book

Sep 02

Preface.v, Basics.v, _CoqProject

Basics.v, BasicsTest.v, Makefile

Logical Foundations

Sep 04

Induction.v, Lists.v

Induction.v, InductionTest.v, Lists.v (No HW)

Logical Foundations

Sep 09

Poly.v

Poly.v,PolyTest.v

Logical Foundations

Sep 11

Tactics.v

Tactics.v, TacticsTest.v

Logical Foundations

Sep 16

Logic.v

Logical Foundations

Sep 18

Continue Logic

Logic.v, LogicTest.v

Logical Foundations

Sep 23

IndProp.v

IndProp.v, IndPropTest.v

Logical Foundations

Sep 25

ProofObjects.v, IndPrinciples.v

ProofObjects.v, IndPrinciples.v, ProofObjectsTest.v, IndPrinciplesTest.v

Logical Foundations

Sep 30

AltAuto.v

AltAuto.v (No HW)

Logical Language Foundations

Oct 02

Imp.v, Maps.v

Maps.v, Imp.v, ImpTest.v

Logical Foundations

PLF Setup

Maps.v, Imp.v, Makefile, _CoqProject

Programming Language Foundations

Oct 07

Equiv.v

Equiv.v, EquivTest.v

Programming Language Foundations

Oct 09

Hoare.v

Hoare.v, HoareTest.v

Programming Language Foundations

Oct 14

Fall Break

Programming Language Foundations

Oct 16

Hoare2.v

Hoare2.v (No HW)

Programming Language Foundations

Oct 21

Midterm Review

Fall 19 (w/ solutions), Fall 20 (no solutions), Fall 22 (no solutions), Fall 23 (no solutions)

Oct 23

MIDTERM

Oct 28

Introduction.v,Typeclasses.v

QuickChickSetup: _CoqProject,Makefile

PLF

Oct 30

QC

Nov 4

QC

Nov 6

QC

Nov 11

Project Proposals Due

PLF

Nov 13

PLF

Nov 18

PLF

Nov 20

CPDT

Nov 25/27

Thanksgiving!

PLF

Dec 2

Project Presentations

Dec 4

Project Presentations

Dec 9

Project Presentations

Dec 11

Project Presentations

Dec 13

Final Projects Due