Questions tagged [stackexchange]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2 votes
0 answers

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, ...
5 votes
0 answers

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