GitHub - mkmks/sf: Exercises from Pierce's "Software Foundations". · GitHub

Repository navigation

sf

Public

About

Exercises from Pierce's "Software Foundations".

0 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
.gitignore		.gitignore
Auto.v		Auto.v
Basics.v		Basics.v
Equiv.v		Equiv.v
Extraction.v		Extraction.v
Hoare.v		Hoare.v
Hoare2.v		Hoare2.v
HoareAsLogic.v		HoareAsLogic.v
HoareList.v		HoareList.v
Imp.v		Imp.v
ImpCEvalFun.v		ImpCEvalFun.v
ImpParser.v		ImpParser.v
Induction.v		Induction.v
LibTactics.v		LibTactics.v
Lists.v		Lists.v
Logic.v		Logic.v
MoreCoq.v		MoreCoq.v
MoreInd.v		MoreInd.v
MoreProp.v		MoreProp.v
MoreStlc.v		MoreStlc.v
Norm.v		Norm.v
PE.v		PE.v
Poly.v		Poly.v
Postscript.v		Postscript.v
Preface.v		Preface.v
ProofObjects.v		ProofObjects.v
Prop.v		Prop.v
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
StlcProp.v		StlcProp.v
Sub.v		Sub.v
Symbols.v		Symbols.v
Typechecking.v		Typechecking.v
Types.v		Types.v
UseAuto.v		UseAuto.v
UseTactics.v		UseTactics.v

About

Exercises from Pierce's "Software Foundations".

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages