Timeline for Arithmetic in intuitionistic logic
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 21, 2021 at 14:26 | review | Close votes | |||
| Nov 24, 2021 at 17:10 | |||||
| Nov 21, 2021 at 13:46 | audit | Reopen votes | |||
| Nov 21, 2021 at 14:01 | |||||
| Nov 20, 2021 at 22:35 | vote | accept | Bruno | ||
| Nov 20, 2021 at 13:20 | answer | added | Alex Kruckman | timeline score: 5 | |
| S Nov 20, 2021 at 0:53 | review | First questions | |||
| Nov 20, 2021 at 0:53 | |||||
| S Nov 20, 2021 at 0:53 | history | asked | Bruno | CC BY-SA 4.0 |