This may be a dumb question. Are libraries under https://github.com/coq/coq/tree/master/clib supposed to be used in Coq code? If so, how can I import them?
clib is an extension of the ocaml standard library
it is used as part of coq's implementation
Also, generally you can't import .ml/.mli files into Coq. (Ignoring Coq plugins or even more advanced scenarios)
Last updated: Sep 23 2023 at 08:01 UTC