Software Foundations

A translation of Pierce's Coq book Software foundations to Agda. This is just an adaptation of the previous cited book.

Name		Name	Last commit message	Last commit date
Latest commit History 19 Commits
.gitignore		.gitignore
Basics.lagda		Basics.lagda
InductionProofs.lagda		InductionProofs.lagda
Lists.lagda		Lists.lagda
Logic.lagda		Logic.lagda
MoreAgda.lagda		MoreAgda.lagda
MoreInd.lagda		MoreInd.lagda
MorePropositions.lagda		MorePropositions.lagda
Poly.lagda		Poly.lagda
Preface.lagda		Preface.lagda
ProofObjects.lagda		ProofObjects.lagda
Propositions.lagda		Propositions.lagda
README.md		README.md
Sf.bib		Sf.bib
Sf.lagda		Sf.lagda
SfLib.lagda		SfLib.lagda
makefile		makefile
natbib.bst		natbib.bst
proof.sty		proof.sty

Navigation Menu