Questions tagged [related-stack-exchange-sites]

Filter by
Sorted by
Tagged with
4 votes
0 answers

New stack exchange! Provers.SE (for interactive theorem provers and automatic theorem provers) will go live soon!

Update: The ProofAssistants Private Beta has started. Stack Exchange will soon (February 8th) start Private Beta site for Proof Assistants and Automatic Theorem Provers. If you want to see what a ...
user avatar
5 votes
2 answers

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, ...
user avatar
8 votes
0 answers

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 ...
user avatar