Timeline for Can infinity shorten proofs a lot?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 15, 2012 at 17:46 | history | edited | David White | CC BY-SA 3.0 |
Texified and fixed several typos and misspellings
|
| Nov 18, 2009 at 13:00 | history | answered | Gil Kalai | CC BY-SA 2.5 |