GitHub - hacklash/Software-Foundations

A repository for working through Software Foundations in order to learn Coq, the theorem prover.

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
html		html
Basics.v		Basics.v
Equiv.v		Equiv.v
Gen.v		Gen.v
Hoare.v		Hoare.v
HoareAsLogic.v		HoareAsLogic.v
Imp.v		Imp.v
ImpList.v		ImpList.v
ImpParser.v		ImpParser.v
LICENSE		LICENSE
LibTactics.v		LibTactics.v
Lists.v		Lists.v
Logic.v		Logic.v
Makefile		Makefile
MoreStlc.v		MoreStlc.v
Norm.v		Norm.v
PE.v		PE.v
Poly.v		Poly.v
Postscript.v		Postscript.v
Preface.v		Preface.v
Prop.v		Prop.v
README.md		README.md
RecordSub.v		RecordSub.v
Records.v		Records.v
References.v		References.v
Rel.v		Rel.v
SfLib.v		SfLib.v
Smallstep.v		Smallstep.v
Stlc.v		Stlc.v
Subtyping.v		Subtyping.v
Symbols.v		Symbols.v
Typechecking.v		Typechecking.v
Types.v		Types.v
UseAuto.v		UseAuto.v
UseTactics.v		UseTactics.v

Provide feedback