Timeline for The strength of weak weak Koenig's lemma for certain formula classes
Current License: CC BY-SA 4.0
Post Revisions
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| 2 hours ago | history | became hot network question | |||
| 9 hours ago | answer | added | Dmytro Taranovsky | timeline score: 5 | |
| 10 hours ago | history | asked | Sam Sanders | CC BY-SA 4.0 |