Name		Name	Last commit message	Last commit date
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

Repository files navigation

logic foundations

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

About

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

3 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages