Email Gateway (Feb 09 2022 at 11:03): 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
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: Jan 04 2025 at 20:18 UTC