GitHub - radams78/PTSCoq: Formalisation of the theory of PTSs and incomplete proof of equivalence with PTSs with judgemental equality

radams78 / PTSCoq Public

Formalisation of the theory of PTSs and incomplete proof of equivalence with PTSs with judgemental equality

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
CR.v		CR.v
Conv.v		Conv.v
Finite.v		Finite.v
Labterms.v		Labterms.v
Meta.v		Meta.v
PTS.v		PTS.v
PTSeq.v		PTSeq.v
SR.v		SR.v
Strength.v		Strength.v
String.v		String.v
Subst.v		Subst.v
Subvar.v		Subvar.v
TPOSR.v		TPOSR.v
Terms.v		Terms.v
UT.v		UT.v