Questions tagged [related-stack-exchange-sites]

Filter by
Sorted by
Tagged with
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 ...