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

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.

21 stars

3 watching

Report repository

Releases

Packages

Contributors

Languages