Stream: Coq devs & plugin devs

Topic: core.identity vs core.eq

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