Timeline for Can strict propositions (Rocq's SProp, Agda's Prop) be used to show termination?
Current License: CC BY-SA 4.0
5 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Apr 26 at 16:04 | history | became hot network question | |||
Apr 26 at 11:23 | answer | added | aws | timeline score: 4 | |
Apr 26 at 10:41 | answer | added | Meven Lennon-Bertrand♦ | timeline score: 4 | |
S Apr 25 at 18:47 | review | First questions | |||
Apr 25 at 22:07 | |||||
S Apr 25 at 18:47 | history | asked | Ingo Blechschmidt | CC BY-SA 4.0 |