Proof Assistants
Q&A for mathematicians and computer scientists who develop and use proof assistants
Joined 2 years, 5 months ago, last seen 5 months ago
137 reputation
6 bronze badges
badges
2 questions
0 answers
Mathematics
Q&A for people studying math at any level and professionals in related fields
Joined 6 years, 9 months ago, last seen 5 months ago
71 reputation
5 bronze badges
badges
1 questions
1 answers
Area 51
Q&A for proposing new sites in the Stack Exchange network
Joined 2 years, 8 months ago, last seen 2 years, 7 months ago
51 reputation
0
badges
- questions
- answers
Emacs
Q&A for those using, extending or developing Emacs
Joined 3 years, 8 months ago, last seen 5 months ago
35 reputation
5 bronze badges
badges
3 questions
0 answers
Stack Overflow
Q&A for professional and enthusiast programmers
Joined 9 years ago, last seen yesterday
1 reputation
1 bronze badge
badges
0 questions
0 answers
Meta Stack Exchange
Q&A for meta-discussion of the Stack Exchange family of Q&A websites
Joined 2 years, 8 months ago, last seen 9 months ago
1 reputation
1 bronze badge
badges
0 questions
0 answers
Chess
Q&A for serious players and enthusiasts of chess
Joined 1 year, 11 months ago, last seen 1 year, 11 months ago
1 reputation
1 bronze badge
badges
0 questions
0 answers
Super User
Q&A for computer enthusiasts and power users
Joined 1 year, 10 months ago, last seen 1 year, 5 months ago
1 reputation
1 bronze badge
badges
0 questions
0 answers
Ask Ubuntu
Q&A for Ubuntu users and developers
Joined 1 year, 10 months ago, last seen 1 year, 5 months ago
1 reputation
1 bronze badge
badges
0 questions
0 answers
Unix & Linux
Q&A for users of Linux, FreeBSD and other Un*x-like operating systems
Joined 1 year, 5 months ago, last seen 7 months ago
1 reputation
1 bronze badge
badges
0 questions
0 answers
Computer Science
Q&A for students, researchers and practitioners of computer science
Joined 9 months ago, last seen 8 months ago
1 reputation
1 bronze badge
badges
0 questions
0 answers
TeX - LaTeX
Q&A for users of TeX, LaTeX, ConTeXt, and related typesetting systems
Joined 9 months ago, last seen 8 months ago
1 reputation
1 bronze badge
badges
0 questions
0 answers