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
