coq export: check that identifiers are valid in rocq #1397
+35
−17
Merged
background
wait
wait-all
cancel
Loading