GitHub - tinkerrobot/Software_Foundations_Solutions: Solutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.

This repository was archived by the owner on Jul 23, 2021. It is now read-only.

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

About

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

0 stars

1 watching