[isabelle-dev] Isabelle World Map
makarius at sketis.net
Fri Jan 24 13:34:40 CET 2014
On Fri, 24 Jan 2014, Lawrence Paulson wrote:
> I wonder if it could somehow be wiki driven, so that people could edit
> it themselves?
I don't know how this is done technically, so I can't tell.
Socially, a wiki by itself merely accumulates rubbish. In the best case
it is just outdated like https://isabelle.in.tum.de/community/Main_Page
and in the worst case genuine junk added on purpose.
Wikipedia worked out, because they have substantial administrative
structures around it (especially the .de one).
More information about the isabelle-dev