Timeline for Does anyone have a proof checker they prefer using for modal logic?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 2, 2019 at 3:02 | history | edited | Ben | CC BY-SA 4.0 |
corrected spelling
|
| Mar 1, 2019 at 1:43 | vote | accept | Frank Hubeny | ||
| Dec 12, 2018 at 8:28 | history | answered | Ben | CC BY-SA 4.0 |