Stream: Coq users

Topic: what is clib

view this post on Zulip Cong Ma (Feb 16 2023 at 19:41):

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?

view this post on Zulip Gaëtan Gilbert (Feb 16 2023 at 20:18):

clib is an extension of the ocaml standard library
it is used as part of coq's implementation

view this post on Zulip Paolo Giarrusso (Feb 16 2023 at 20:47):

Also, generally you can't import .ml/.mli files into Coq. (Ignoring Coq plugins or even more advanced scenarios)

Last updated: Apr 19 2024 at 21:01 UTC