Timeline for How to provide proof for termination in Agda?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 25 at 18:22 | comment | added | Ingo Blechschmidt | Great answer! Two more options for more specialized cases: Use the "Braga method" or employ well quasi orders/almost full relations. | |
| Mar 12 at 8:12 | vote | accept | tinlyx | ||
| Mar 12 at 3:45 | history | answered | ice1000♦ | CC BY-SA 4.0 |