Hi, what is the difference between core.identity and core.eq? I need to register these in coq but I am unsure which one to use.
Last updated: Jun 08 2023 at 04:01 UTC