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: Oct 13 2024 at 01:02 UTC