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: Apr 20 2024 at 01:41 UTC