GitHub - sihangliu/software-foundations: Working through Software Foundations · GitHub

Name		Name	Last commit message	Last commit date
.gitignore		.gitignore
Basics.v		Basics.v
Extraction.v		Extraction.v
Imp.v		Imp.v
ImpCEvalFun.v		ImpCEvalFun.v
ImpParser.v		ImpParser.v
Induction.v		Induction.v
Lists.v		Lists.v
Logic.v		Logic.v
MoreCoq.v		MoreCoq.v
MoreInd.v		MoreInd.v
MoreLogic.v		MoreLogic.v
Poly.v		Poly.v
ProofObjects.v		ProofObjects.v
Prop.v		Prop.v
Rel.v		Rel.v
SfLib.v		SfLib.v
impdriver.ml		impdriver.ml

About

Working through Software Foundations

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages