Proof Assistants
Q&A for mathematicians and computer scientists who develop and use proof assistants
Joined 1 month ago, last seen 4 days ago
33 reputation
3 bronze badges
badges
1 questions
0 answers
Stack Overflow
Q&A for professional and enthusiast programmers
Joined 8 years, 2 months ago, last seen 5 years, 4 months ago
1 reputation
2 bronze badges
badges
0 questions
0 answers
Computer Science
Q&A for students, researchers and practitioners of computer science
Joined 8 years, 1 month ago, last seen 5 years, 4 months ago
1 reputation
1 bronze badge
badges
0 questions
0 answers
Theoretical Computer Science
Q&A for theoretical computer scientists and researchers in related fields
Joined 8 years ago, last seen 5 years, 6 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 8 years ago, last seen 5 years, 6 months ago
1 reputation
1 bronze badge
badges
0 questions
0 answers
Linguistics
Q&A for professional linguists and others with an interest in linguistic research and theory
Joined 7 years, 11 months ago, last seen 5 years, 4 months ago
1 reputation
2 bronze badges
badges
0 questions
0 answers
Mathematics
Q&A for people studying math at any level and professionals in related fields
Joined 7 years, 11 months ago, last seen 1 month ago
1 reputation
1 bronze badge
badges
0 questions
0 answers
Skeptics
Q&A for scientific skepticism
Joined 7 years, 8 months ago, last seen 5 years, 7 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 5 years, 9 months ago, last seen 1 month ago
1 reputation
0
badges
0 questions
0 answers
English Language & Usage
Q&A for linguists, etymologists, and serious English language enthusiasts
Joined 5 years, 9 months ago, last seen 2 months ago
1 reputation
0
badges
0 questions
0 answers