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



Good idea, I have just signed up.

Tobias

On 20/11/2021 20:27, Makarius wrote:
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.


	Makarius

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



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