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: Dec 07 2023 at 09:01 UTC