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: Oct 16 2021 at 02:03 UTC