Stream: Coq devs & plugin devs

Topic: core.identity vs core.eq


view this post on Zulip Ali Caglayan (Aug 17 2020 at 16:14):

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