Add PCUICESubst file to verify Coq code

MetaCoq · Nov 12, 2024 · 76c6e0c · 76c6e0c
1 parent 734acd2
commit 76c6e0c
Show file tree

Hide file tree

Showing 3 changed files with 2,790 additions and 0 deletions.
diff --git a/pcuic/_CoqProject.in b/pcuic/_CoqProject.in
@@ -114,4 +114,6 @@ theories/PCUICWeakeningConfig.v
 
 theories/PCUICCasesHelper.v
 
+theories/PCUICESubst.v
+
 # theories/All.v
Original file line number	Diff line number	Diff line change
Expand Up		@@ -114,4 +114,6 @@ theories/PCUICWeakeningConfig.v

		theories/PCUICCasesHelper.v

		theories/PCUICESubst.v

		# theories/All.v