Timeline for Uniqueness of proofs for inductively defined predicates
Current License: CC BY-SA 4.0
7 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jul 5 at 14:28 | vote | accept | Pavel Shuhray | ||
Jul 5 at 12:28 | history | became hot network question | |||
Jul 5 at 12:26 | answer | added | Dominique Larchey-Wendling | timeline score: 1 | |
Jul 5 at 10:41 | answer | added | Meven Lennon-Bertrand♦ | timeline score: 5 | |
Jul 5 at 9:03 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
added 25 characters in body; edited title
|
Jul 5 at 9:00 | answer | added | Vladimir Ivanov | timeline score: -2 | |
Jul 5 at 0:37 | history | asked | Pavel Shuhray | CC BY-SA 4.0 |