Timeline for How to provide proof for termination in Agda?
Current License: CC BY-SA 4.0
5 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Mar 12 at 20:19 | history | edited | ice1000♦ |
edited tags
|
|
Mar 12 at 11:05 | history | became hot network question | |||
Mar 12 at 8:12 | vote | accept | tinlyx | ||
Mar 12 at 3:45 | answer | added | ice1000♦ | timeline score: 5 | |
Mar 12 at 3:04 | history | asked | tinlyx | CC BY-SA 4.0 |