Timeline for scope of "constant symbol" in tree-format natural deduction
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 12 at 13:41 | history | became hot network question | |||
| Oct 12 at 11:29 | vote | accept | Penelope | ||
| Oct 12 at 9:18 | answer | added | Emil Jeřábek | timeline score: 3 | |
| Oct 12 at 1:53 | history | asked | Penelope | CC BY-SA 4.0 |