logic foundations

Basic ideas of functional programming, constructive logic, and the Coq proof assistant.

Name		Name	Last commit message	Last commit date
Latest commit History 18 Commits
logical foundations		logical foundations
.Basics.aux		.Basics.aux
.Induction.aux		.Induction.aux
.Lists.aux		.Lists.aux
.gitignore		.gitignore
Basics.v		Basics.v
Imp.v		Imp.v
IndProp.v		IndProp.v
Induction.v		Induction.v
Lists.v		Lists.v
Logic.v		Logic.v
Maps.v		Maps.v
Poly.v		Poly.v
README.md		README.md
Tactics.v		Tactics.v
_CoqProject		_CoqProject

antferdom/logic