Tour
About Us
Meta
Loading…
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Log in
Stack Exchange
All Sites
Top Users
Digests
Max Kubierschky
top
accounts
reputation
activity
subscriptions
Top Questions
15
votes
Whats wrong with this model theoretic proof of the twin primes conjecture?
number-theory
first-order-logic
model-theory
fake-proofs
prime-twins
asked Dec 5, 2019 at 19:33
math.stackexchange.com
13
votes
Calculus of (inductive) Constructions: Do inductive definitions increase proof strength?
coq
lean
calculus-of-inductive-constructions
asked May 2, 2022 at 4:21
proofassistants.stackexchange.com
5
votes
How to block non-free with apt preferences?
debian
apt
asked May 21, 2016 at 4:26
unix.stackexchange.com
Top Answers
17
Shortest "arithmetic" formula to output 1000 primes
codegolf.stackexchange.com
9
A dice probability question
mathoverflow.net
Stack Exchange works best with JavaScript enabled