Skip to main content
Théo Winterhalter's user avatar
Théo Winterhalter's user avatar
Théo Winterhalter's user avatar
Théo Winterhalter
Postdoc at MPI-SP
  • Member for 12 years, 4 months
  • Last seen this week
Profile Activity
Stats
5,043
reputation
123k
reached
128
answers
20
questions
Communities
View all
About

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

Badges
View all badges
2
gold badges
19
silver badges
35
bronze badges
Top tags
View all tags
215
Score
91
Posts
61
Posts %
79
Score
31
Posts
21
Posts %
42
Score
19
Posts
13
Posts %
17
Score
6
Posts
4
Posts %
12
Score
9
Posts
6
Posts %
11
Score
5
Posts
3
Posts %
Top posts
View all questions, answers, and articles
23
OCaml |> operator
May 27, 2015
11
What is the workaround for OCaml: exception Invalid_argument("Random.int")?
Jun 16, 2015
10
Why does the GitLab Graph only show commits and not Additions/Deletions?
May 29, 2015
8
Uploading file with jQuery Ajax
Aug 25, 2013
8
How to step through semicolons separated tactics sequence in coqide?
Sep 20, 2019
8
Cocoa application menu bar not clickable
Oct 26, 2015
7
How to convert ASCII character to CGKeyCode?
Nov 7, 2015
7
Cocoa application menu bar not clickable
Oct 26, 2015
7
How does one implement Coq?
Jan 30, 2020
7
Is there a strong relation with bools and Prop in Coq?
Mar 12, 2020
Top network posts
View all network posts
17
Well-foundedness: classical equivalence of no infinite descent and accessibility
10
How to replace a function by its body
7
Why does this trivial proof fail with structuring tacticals?
6
What is the most ergonomic way to eliminate multiple similar goals in Coq?
5
For functions that are eq_dep equal, are their applications eq_dep equal without axioms?