MathOverflow
Manuel Eberl's user avatar
Manuel Eberl's user avatar
Manuel Eberl's user avatar
Manuel Eberl
  • Member for 10 years, 6 months
  • Last seen more than 1 year ago
Profile Activity
Stats
1,179
reputation
0
reached
0
answers
0
questions
Communities
View all
About

Computer Science postdoc 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).

Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
1
bronze badge
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
142
Proofs shown to be wrong after formalization with proof assistant
35
Looking for some interesting complex integration contours
13
Isabelle/HOL foundations
11
Equivalence classes and union/find in a functional language
11
Nenegata versio de “ĉu ne?”

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.