Skip to content

Remove all uses of `camlstring_of_coqstring` and `coqstring_of_camlst…

eeb50c1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Extract Rocq strings to OCaml strings #571

Remove all uses of `camlstring_of_coqstring` and `coqstring_of_camlst…
eeb50c1
Select commit
Loading
Failed to load commit list.

Annotations

1 error
macos
failed Feb 2, 2026 in 2m 43s