Timeline for Why doesn't the proof found by Agda's automatic search (with dot-prefixed patterns) work?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 15 at 9:52 | history | became hot network question | |||
| Mar 15 at 7:06 | comment | converted from answer | James McKinna | See also the discussion of the related stackoverflow.com/questions/78130771/… | |
| Mar 15 at 3:20 | history | edited | ice1000♦ |
edited tags
|
|
| Mar 15 at 3:17 | answer | added | ice1000♦ | timeline score: 1 | |
| Mar 15 at 1:50 | history | asked | tinlyx | CC BY-SA 4.0 |