Questions tagged [stackexchange]
The stackexchange tag has no usage guidance.
2
questions
2
votes
0
answers
13
views
New SE site for Programming Language Design
The Programming Language Design proposal, which has begun with a very healthy start is one that I think a lot of people here might find interesting.
If you are excited about the launch of a new site, ...
- 541
6
votes
0
answers
45
views
New stack exchange! For interactive theorem provers and automatic theorem provers!
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 ...
- 541