Questions tagged [related-stack-exchange-sites]
The related-stack-exchange-sites tag has no usage guidance.
3
questions
4
votes
0
answers
91
views
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 ...
5
votes
2
answers
48
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
0
answers
105
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 ...