GitHub - tymmym/software-foundations: Solutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.

tymmym / software-foundations Public

Solutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
.gitignore		.gitignore
Basics.v		Basics.v
Equiv.v		Equiv.v
Hoare.v		Hoare.v
Hoare2.v		Hoare2.v
HoareList.v		HoareList.v
Imp.v		Imp.v
Induction.v		Induction.v
Lists.v		Lists.v
Logic.v		Logic.v
Makefile		Makefile
MoreCoq.v		MoreCoq.v
MoreProp.v		MoreProp.v
Poly.v		Poly.v
Prop.v		Prop.v
SfLib.v		SfLib.v