[isabelle] Proposal for a proof assistants StackExchange site

Dear Isabelle users,

the proposal for a proof assistants StackExchange site by Andrej Bauer
http://math.andrej.com/2021/11/20/proof-assistants-stackexchange-site looks to
me like it is worth supporting.

I do agree that Zulip chats are a step backwards, concerning knowledge
accumulation with search engine coverage.

I do *not* agree that StackExchange is the best platform for knowledge
organization --- that would be probably Discourse, but supporting
StackExchange now is better than doing nothing.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.