Email Gateway (Nov 20 2021 at 19:27): Email Gateway (Nov 20 2021 at 19:27):From: Makarius <makarius@sketis.net>
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
Email Gateway (Nov 22 2021 at 19:09):From: Tobias Nipkow <nipkow@in.tum.de>
Good idea, I have just signed up.
Tobias
smime.p7s
Last updated: Jan 04 2025 at 20:18 UTC