Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Shutting down the community wiki - migrate to ...


view this post on Zulip Email Gateway (Feb 09 2022 at 11:03):

From: Makarius <makarius@sketis.net>
On 09/02/2022 11:50, Peter Lammich wrote:

It's not clear who is "us". There is no hint, whatsoever, on who
maintains this page, or how to contact the maintainers.

Excactly. This is also how the former "Community Wiki" failed: nobody was
every responsible for it.

Also, the page has no introduction describing what it is? The official
Isabelle homepage? A privately maintained link collection? A community-
maintaiend one? semi-official?

Very good questions.

Makarius

view this post on Zulip Email Gateway (Feb 09 2022 at 15:59):

From: Kevin Kappelmann <kevin.kappelmann@tum.de>
Thanks for the feedback. I added an "About" page that hopefully
addresses your concerns.

The website is maintained by the isabelle-prover GitHub group [1], a
self-managed community of Isabelle users. Currently it primarily
consists of (ex-)members from TUM, but anyone interested may join - as
now also explained on the "About" page.

[1] https://github.com/isabelle-prover


Last updated: Jul 15 2022 at 23:21 UTC