lambda-cap

Reduction from simple semi-Thue system rewriting to inhabitation in the Coppo-Dezani type assignment system.

Name		Name	Last commit message	Last commit date
Latest commit History 13 Commits
#compile.ps1		#compile.ps1
.gitignore		.gitignore
CD_Derivation.v		CD_Derivation.v
Completeness.v		Completeness.v
Derivation.v		Derivation.v
Encoding.v		Encoding.v
Formula.v		Formula.v
LICENSE		LICENSE
Label.v		Label.v
ListFacts.v		ListFacts.v
MainResult.v		MainResult.v
Makefile		Makefile
MiscFacts.v		MiscFacts.v
README.md		README.md
SSTS.v		SSTS.v
Seq.v		Seq.v
Soundness.v		Soundness.v
Term.v		Term.v
UserTactics.v		UserTactics.v
_CoqProject		_CoqProject

Provide feedback