ladder-calculus/coq-Fsub/_CoqProject

-R . Fsub
AdditionalTactics.v
FSetDecide.v
FSetNotin.v
ListFacts.v
FiniteSets.v
Atom.v
Metatheory.v
Environment.v
Fsub_Definitions.v
Fsub_Infrastructure.v
Fsub_Lemmas.v
Fsub_Soundness.v
import implementation of Fsub from the Coq tutorial of UPenn taken from 'https://www.cis.upenn.edu/~plclub/popl08-tutorial/code/index.html' 2024-09-16 17:58:18 +02:00			`-R . Fsub`
			`AdditionalTactics.v`
			`FSetDecide.v`
			`FSetNotin.v`
			`ListFacts.v`
			`FiniteSets.v`
			`Atom.v`
			`Metatheory.v`
popl-tutorial Fsub: sanitize base libraries mostly add Admitted everywhere 2024-09-19 21:13:59 +02:00			`Environment.v`
import implementation of Fsub from the Coq tutorial of UPenn taken from 'https://www.cis.upenn.edu/~plclub/popl08-tutorial/code/index.html' 2024-09-16 17:58:18 +02:00			`Fsub_Definitions.v`
			`Fsub_Infrastructure.v`
			`Fsub_Lemmas.v`
			`Fsub_Soundness.v`