Area 51
Théo Winterhalter's user avatar
Théo Winterhalter's user avatar
Théo Winterhalter's user avatar
Théo Winterhalter
  • Member for 1 year, 10 months
  • Last seen more than 1 year ago
Profile Activity
Stats
151
reputation
0
reached
0
answers
0
questions
Communities
View all
About

Postdoctoral researcher at Max Planck Institute for Security and Privacy (MPI-SP).

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
23
OCaml |> operator
16
Well-foundedness: classical equivalence of no infinite descent and accessibility
11
What is the workaround for OCaml: exception Invalid_argument("Random.int")?
10
Why does the GitLab Graph only show commits and not Additions/Deletions?
10
How to replace a function by its body

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.