Questions tagged [related-stack-exchange-sites]
The related-stack-exchange-sites tag has no usage guidance.
3
questions
3
votes
0answers
42 views
New stack exchange! Provers.SE (for interactive theorem provers and automatic theorem provers) will go live soon!
Stack Exchange will soon create the Private Beta site for Proof Assistants and Automatic Theorem Provers. If you want to see what a StackExchange site is like in its initial beginnings, want to help ...
5
votes
2answers
47 views
About recommendations questions
Software recommendation questions are on-topic here, and it's even one of our most popular tags: software-recommendations. However we haven't talked much about how we should approach such questions, ...
8
votes
0answers
102 views
New Stack Exchange site proposal: Computational Fluid Dynamics!
There's a proposal at the moment for creating an SE site for computational fluid dynamics, and if you would like SE to add a site for this topic, I suggest you follow the proposal, ask some example ...