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
307
reputation
1
9

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
5
questions
~804
people reached

Top tags (9)

Score 4
Posts 1
Posts % 14
Score 1
Posts 1
Score 1
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (7) All Questions Answers | Votes Newest

Badges (10)

Gold

Silver

1

Rarest

Bronze

9

Rarest