Timeline for What is "rich structure", actually?
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 14, 2021 at 19:58 | history | made wiki | Post Made Community Wiki by Stefan Kohl♦ | ||
| Feb 22, 2010 at 11:51 | comment | added | kakaz | Very interesting note. As regards to complexity of proofs: I check that in Mizar proof assistant, the longest proofs are usually assigned to not-very-interesting or most-known theorems. Of course it s not so simple to check just size of certain proof to say something about general complexity, but in other way it is interesting to see it on certain example. | |
| Feb 22, 2010 at 11:19 | history | answered | Neel Krishnaswami | CC BY-SA 2.5 |