Add Coq 8.20

JasonGross · Oct 9, 2024 · 11def11 · 11def11
1 parent e4d9e81
commit 11def11
Show file tree

Hide file tree

Showing 4 changed files with 628 additions and 5 deletions.
diff --git a/.gitignore b/.gitignore
@@ -36,3 +36,4 @@ compatibility/Coq__*__Compat.v
 !compatibility/Coq__8_17__Compat.v
 !compatibility/Coq__8_18__Compat.v
 !compatibility/Coq__8_19__Compat.v
+!compatibility/Coq__8_20__Compat.v