Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
649
reputation
1
5
10

Manuel Eberl

Computer Science PhD student at TU München, Esperantist, addicted to formal proofs/interactive theorem proving and Earl Grey. Some knowledge of Isabelle/HOL, Java, C/C++, Haskell, Standard ML, theoretical computer science, finite automata, cryptography, and basic mathematics (i.e. logic, algebra, geometry, number theory, analysis).

2
answers
10
questions
~10k
people reached

Top Tags (24)

Score 0
Posts 3
Posts % 25
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 1

Top Posts (12) All Questions Answers | Votes Newest

View all questions and answers

Badges (16)

Gold

1

Rarest

Silver

5

Rarest

Bronze

10

Rarest