[isabelle-dev] Isabelle (proof assistant) - Wikipedia, the free encyclopedia
makarius at sketis.net
Fri Feb 22 13:31:45 CET 2013
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.
More information about the isabelle-dev