[isabelle-dev] Isabelle (proof assistant) - Wikipedia, the free encyclopedia

[Gergely Buday]

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