Timeline for Scope limits on proof assistants (e.g. Coq)
Current License: CC BY-SA 3.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 23, 2017 at 12:37 | history | edited | CommunityBot |
replaced http://stackoverflow.com/ with https://stackoverflow.com/
|
|
| Apr 13, 2017 at 12:48 | history | edited | CommunityBot |
replaced http://cs.stackexchange.com/ with https://cs.stackexchange.com/
|
|
| Apr 13, 2017 at 12:32 | history | edited | CommunityBot |
replaced http://cstheory.stackexchange.com/ with https://cstheory.stackexchange.com/
|
|
| Mar 16, 2017 at 15:45 | history | edited | CommunityBot |
replaced http://meta.cstheory.stackexchange.com/ with https://cstheory.meta.stackexchange.com/
|
|
| Mar 8, 2012 at 2:43 | answer | added | Gilles 'SO- stop being evil' | timeline score: 3 | |
| Mar 8, 2012 at 1:47 | answer | added | jmad | timeline score: 2 | |
| Mar 7, 2012 at 21:23 | comment | added | Gilles 'SO- stop being evil' | @bitmask No, on the contrary, now is the ideal time. What's discouraged is artificial questions; my question is absolutely not artificial (I struggled with that a few years ago, and I think there's an answer on the Internet but spread over several Coq mailing list posts, so it's worth having somewhere, on SO if not here). | |
| Mar 7, 2012 at 21:09 | comment | added | bitmask | Aren't "test questions" explicitly discouraged for young betas? | |
| Mar 7, 2012 at 19:44 | answer | added | Stéphane Gimenez | timeline score: 1 | |
| Mar 7, 2012 at 19:35 | comment | added | Kaveh | There is also the option to close too specific questions as "too localized": "This question is unlikely to ever help any future visitors; it is only relevant to a small geographic area, a specific moment in time, or an extraordinarily narrow situation that is not generally applicable to the worldwide audience of the internet." so we may not need to make them off-topic as a category. | |
| Mar 7, 2012 at 17:47 | comment | added | Raphael | I agree with your assessment. I think the same rules as for programming apply: questions that are useful no matter what proof assisstant I use are good, too specific ones are bad. | |
| Mar 7, 2012 at 17:38 | history | asked | Gilles 'SO- stop being evil' | CC BY-SA 3.0 |