Timeline for Proof of the Local Deduction Theorem, for one of many logics
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S May 12, 2022 at 2:41 | history | suggested | CommunityBot | CC BY-SA 4.0 |
better MathJax usage
|
| May 12, 2022 at 2:08 | review | Suggested edits | |||
| S May 12, 2022 at 2:41 | |||||
| May 11, 2022 at 23:41 | history | asked | Martín S | CC BY-SA 4.0 |