439
reputation
2
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).

10
answers
14
questions
~9k
people reached

Top tags (50)

Score 7
Posts 2
Posts % 8
Score 2
Posts 7
Score 1
Posts 4
Score 1
Posts 3
Score 1
Posts 3
Score 0
Posts 3

Top posts (24) All Questions Answers | Votes Newest

View all questions and answers

Badges (12)

Gold

Silver

2

Rarest

Bronze

10

Rarest