Esperanto Language Meta
user avatar
user avatar
user avatar
Manuel Eberl
  • Member for 5 years, 10 months
  • Last seen more than 5 years ago
Profile Activity
Stats
477
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.
2
silver badges
1
bronze badge
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
141
Proofs shown to be wrong after formalization with proof assistant
35
Looking for some interesting complex integration contours
12
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.