Extract Rocq strings to OCaml strings #571
+71
−97
Merged
Loading