Timeline for Is eta-equality provable in Coq?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 10, 2022 at 14:55 | history | edited | sarahzrf | CC BY-SA 4.0 |
added 38 characters in body; deleted 2 characters in body
|
| Feb 10, 2022 at 14:45 | history | edited | sarahzrf | CC BY-SA 4.0 |
I confused eta for functions with congruence of defeq wrt lambda; fixing
|
| Feb 10, 2022 at 7:07 | vote | accept | Couchy | ||
| S Feb 10, 2022 at 6:54 | review | First answers | |||
| Feb 10, 2022 at 7:05 | |||||
| S Feb 10, 2022 at 6:54 | history | answered | sarahzrf | CC BY-SA 4.0 |