Re: [isabelle-dev] Isabelle (proof assistant) - Wikipedia, the free encyclopedia
Hi, Am Freitag, den 22.02.2013, 08:49 +0100 schrieb Gergely Buday: Wiki is old-fashioned these days, how about using Stack Exchange for Isabelle user communication? What do you think about this? I guess this is getting off-topic for isabelle-dev and should rather be discussed on the users list. Anyways: I find SE a good format for the typical questions that are raised on the users list, but I am not sure if the community is large enough to provide reasonable fast and good answers there to make it useful. But it could be worth a try. Greetings, Joachim -- Dipl.-Math. Dipl.-Inform. Joachim Breitner Wissenschaftlicher Mitarbeiter http://pp.ipd.kit.edu/~breitner signature.asc Description: This is a digitally signed message part ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Isabelle (proof assistant) - Wikipedia, the free encyclopedia
On Fri, 22 Feb 2013, Joachim Breitner wrote: Am Freitag, den 22.02.2013, 08:49 +0100 schrieb Gergely Buday: Wiki is old-fashioned these days, how about using Stack Exchange for Isabelle user communication? I've asked myself this very question occasionally. Just empirically by doing regular web search, I end up very often on Stack Exchange, e.g. for Java or JVM problems. The reason why Java with all its problems still survives (and thrives) is that so many answers are available. I guess this is getting off-topic for isabelle-dev and should rather be discussed on the users list. Anyways: I find SE a good format for the typical questions that are raised on the users list, but I am not sure if the community is large enough to provide reasonable fast and good answers there to make it useful. But it could be worth a try. You are welcome to initiate a thread on isabelle-users. I think the main question for most of us is how SE actually works, and what needs to be done to establish some foothold there. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Isabelle (proof assistant) - Wikipedia, the free encyclopedia
Makarius wrote: I am more concerned about this wiki here: https://isabelle.in.tum.de/community since it is provided by one of the established Isabelle sites. I would still like to see a genuine Isabelle community contributing here, and doing serious maintenance. Right now it is just a scribbling board for people who were discontent with some of the official READMEs or manuals, and even that is often pointless already due to continuous updates of the official versions. Wiki is old-fashioned these days, how about using Stack Exchange for Isabelle user communication? It would open up Isabelle knowledge contrasted to the user mailing list. Of course Isabelle is too narrow a topic for an own site, but proposing a computational logic area could be an idea, having all the provers and their fans there. Of course using the existing cstheory and cs sites are options. The logic one was closed down saying that it would draw users from the philosophy site. Here is how to suggest a site: http://area51.stackexchange.com/faq What do you think about this? - Gergely ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Isabelle (proof assistant) - Wikipedia, the free encyclopedia
On Tue, 19 Feb 2013, Tobias Nipkow wrote: It would be better to update it. The German version is also a bit odd... Tobias Am 19/02/2013 00:42, schrieb Lawrence Paulson: Leaves something to be desired. Starting with the first sentence. Do we care? Larry http://en.wikipedia.org/wiki/Isabelle_(proof_assistant) Wikipedia is vox pupuli, so it can be arbitrary non-sense -- experienced users of Wikipedia should know that. Nonetheless, I have occasionally updated the version number of the official Isabelle release there. BTW, Wikipedia *content* should be discussed on the Wikipedia discussion page in question, in order to avoid bypassing the official structures of that project. I am more concerned about this wiki here: https://isabelle.in.tum.de/community since it is provided by one of the established Isabelle sites. I would still like to see a genuine Isabelle community contributing here, and doing serious maintenance. Right now it is just a scribbling board for people who were discontent with some of the official READMEs or manuals, and even that is often pointless already due to continuous updates of the official versions. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Isabelle (proof assistant) - Wikipedia, the free encyclopedia
we'll need a volunteer. The HOL Wikipedia page also describes Isabelle as the successor of HOL4. I don't think they see it this way. :-) Larry On 19 Feb 2013, at 06:52, Tobias Nipkow nip...@in.tum.de wrote: It would be better to update it. The German version is also a bit odd... Tobias Am 19/02/2013 00:42, schrieb Lawrence Paulson: Leaves something to be desired. Starting with the first sentence. Do we care? Larry http://en.wikipedia.org/wiki/Isabelle_(proof_assistant) ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Isabelle (proof assistant) - Wikipedia, the free encyclopedia
It would be better to update it. The German version is also a bit odd... Tobias Am 19/02/2013 00:42, schrieb Lawrence Paulson: Leaves something to be desired. Starting with the first sentence. Do we care? Larry http://en.wikipedia.org/wiki/Isabelle_(proof_assistant) ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev