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: Feb 02 2023 at 13:03 UTC