Stop mentioning Coq bug fixed in Coq >= 8.13
1 unresolved thread
1 unresolved thread
Compare changes
+ 4
− 4
@@ -26,10 +26,10 @@ Importing std++ has some side effects as the library sets some global options.