[isabelle] Isabelle Community (was "stackexchange.com use for proof assistants and related software")
in my opinion we have two distinct issues which got accidentally merged in
http://www.mail-archive.com/isabelle-dev at mailbroy.informatik.tu-muenchen.de/msg03860.html
While I agree with Makarius on
> 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
> people who were discontent with some of the official READMEs or
> even that is often pointless already due to continuous updates of the
> official versions.
I don't see why isabelle user communication should change from the (in
my opinion) very well working mailing lists to anywhere else. I did
never use stackoverflow or stackexchange myself (i.e., have no account)
but of course occasionally arrive there via web searches. Today I read
their "about" section and it seems to be mostly their goal that
questions get professional answers fast. I would say that is exactly
what is currently happening on the mailing lists.
Of course this is specific to Isabelle. And some of the suggestions in
earlier e-mails did more sound like building a more general community
(e.g., all users of any kind of proof assistant). In principle that
sounds good. A good thing about the current setting is that it is
focused (I do not have enough reading capacity to go through answers
concerning other proof assistants while being concerned with some
isabelle specific question). Of course if questions occurred (on one of
the isabelle lists or any list of another proof assistant) that were not
tool specific, they could be forwarded to this overflow/exchange thingy
(after that was established).
To summarize my opinion. There are the following different issues:
1) Isabelle user communication, including Q&A. (I think: well covered by
the current lists.)
2) Isabelle community content (potentially, tips and tricks, tutorials,
resources, ...) which is currently maintained in a wiki and could be
3) Building a more general community (not Isabelle specific).
This archive was generated by a fusion of
Pipermail (Mailman edition) and