Proof Assistants
Q&A for mathematicians and computer scientists who develop and use proof assistants
Joined 2 years, 5 months ago, last seen 2 months ago
429 reputation
3 silver badges8 bronze badges
badges
3 questions
0 answers
Theoretical Computer Science
Q&A for theoretical computer scientists and researchers in related fields
Joined 8 years ago, last seen 2 months ago
133 reputation
4 bronze badges
badges
2 questions
0 answers
Stack Overflow
Q&A for professional and enthusiast programmers
Joined 8 years, 1 month ago, last seen 2 months ago
113 reputation
4 bronze badges
badges
1 questions
0 answers
Mathematics
Q&A for people studying math at any level and professionals in related fields
Joined 6 years, 10 months ago, last seen 3 months ago
101 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, 5 months ago, last seen 2 years, 5 months ago
101 reputation
0
badges
0 questions
0 answers
MathOverflow
Q&A for professional mathematicians
Joined 2 years, 3 months ago, last seen 2 months ago
101 reputation
1 bronze badge
badges
0 questions
0 answers
Programming Language Design and Implementation
Q&A for designers and implementers of computer programming languages
Joined 1 year, 2 months ago, last seen 1 year, 2 months ago
101 reputation
1 bronze badge
badges
0 questions
0 answers