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

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

tinkerrobot / Software_Foundations_Solutions Public archive

forked from tymmym/software-foundations

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