Re: [isabelle] Proposal for a proof assistants StackExchange site

Good idea, I have just signed up.


On 20/11/2021 20:27, Makarius wrote:
Dear Isabelle users,

the proposal for a proof assistants StackExchange site by Andrej Bauer 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.


Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

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