All Questions
Tagged with stackexchange other-se-sites
2 questions
2
votes
0
answers
27
views
Why does OR have a short URL whereas MM has a long one?
Operations Research has a short and succinct, beautiful URL: https://or.stackexchange.com/
Matter Modelling has a long and bulky URL which might even look like a spam site when we try to recruit ...
4
votes
0
answers
94
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 ...