Timeline for answer to The strength of weak weak Koenig's lemma for certain formula classes by Dmytro Taranovsky
Current License: CC BY-SA 4.0
Post Revisions
1 event
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| 9 hours ago | history | answered | Dmytro Taranovsky | CC BY-SA 4.0 |