Questions tagged [stackexchange]
The stackexchange tag has no usage guidance.
4
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 ...
- 27.8k
6
votes
0
answers
36
views
Congratulations! Matter Modeling rocked at Winter Bash!
Winter Bash 2021 is now over and I want to thank everyone who participated!
I think it was very successful, and in many ways even more fun than last year.
Furthermore, one of our very own diamond ...
- 27.8k
6
votes
8
answers
83
views
Is there anything the Matter Modeling community needs from the SE company?
In light of this question that was asked yesterday on the Mother Meta:
Magic wand time - what does your community need? (More questions from the Community VP), is there anything we need?
- 27.8k
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, ...
- 27.8k