GitHub - kstats/SoftwareFoundations: This repository includes work for a Software Foundations class that involved programming in the COQ programming language.

Name	Name	Last commit message	Last commit date
Latest commit kstats Merge branch 'master' of https://github.com/kstats/SoftwareFoundations May 4, 2014 595f998 · May 4, 2014 History 4 Commits
Basics.v	Basics.v	second commit	May 4, 2014
Equiv.v	Equiv.v	second commit	May 4, 2014
Hoare.v	Hoare.v	second commit	May 4, 2014
Hoare2.v	Hoare2.v	second commit	May 4, 2014
Imp.v	Imp.v	second commit	May 4, 2014
Induction.v	Induction.v	second commit	May 4, 2014
Lists.v	Lists.v	second commit	May 4, 2014
Logic.v	Logic.v	second commit	May 4, 2014
MoreCoq.v	MoreCoq.v	second commit	May 4, 2014
MoreLogic.v	MoreLogic.v	second commit	May 4, 2014
Poly.v	Poly.v	second commit	May 4, 2014
ProofObjects.v	ProofObjects.v	second commit	May 4, 2014
Prop.v	Prop.v	second commit	May 4, 2014
README.md	README.md	Update README.md	May 4, 2014
SfLib.v	SfLib.v	second commit	May 4, 2014
Smallstep.v	Smallstep.v	second commit	May 4, 2014
Stlc.v	Stlc.v	second commit	May 4, 2014
StlcProp.v	StlcProp.v	second commit	May 4, 2014
Types.v	Types.v	second commit	May 4, 2014

Repository files navigation

This repository includes work for a Software Foundations class that involved programming in the COQ programming language.