Timeline for Why can't proofs have infinitely many steps?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 7, 2023 at 7:59 | comment | added | Andrej Bauer | That would be because Alex moved to Slovenia and is at the math department in Ljubljana. Until he creates a homepage, there's little I can do. | |
| Jan 7, 2023 at 5:21 | comment | added | Lave Cave | Your second link no longer works. | |
| Jun 23, 2012 at 21:16 | history | edited | Mariano Suárez-Álvarez | CC BY-SA 3.0 |
added 2 characters in body
|
| Jun 23, 2012 at 21:05 | history | answered | Andrej Bauer | CC BY-SA 3.0 |