GitHub - hiroki-chen/Coq-RDB: A backup of Harvard's YNOT project which is lost

hiroki-chen / Coq-RDB Public

A backup of Harvard's YNOT project which is lost

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
BTree		BTree
demos		demos
ocaml		ocaml
Assumptions.v		Assumptions.v
BTreeRA.v		BTreeRA.v
DBInterface.v		DBInterface.v
DataModel.v		DataModel.v
DmlParser.v		DmlParser.v
Equivalences.v		Equivalences.v
Extract.v		Extract.v
FSetDecide.v		FSetDecide.v
FSetFacts.v		FSetFacts.v
FSetInterfaceNM.v		FSetInterfaceNM.v
FSetListNM.v		FSetListNM.v
Makefile		Makefile
Optimizer.v		Optimizer.v
OrderedTypeNM.v		OrderedTypeNM.v
RAInterface.v		RAInterface.v
RelationalModel.v		RelationalModel.v
SQL.v		SQL.v
SqlParser.v		SqlParser.v
TopLevel.v		TopLevel.v
Typ.v		Typ.v

Provide feedback