Skip to main content
Proof Assistants Beta
Théo Winterhalter's user avatar
Théo Winterhalter's user avatar
Théo Winterhalter's user avatar
Théo Winterhalter
  • Member for 2 years, 10 months
  • Last seen this week
Profile Activity
Stats
627
reputation
2k
reached
4
answers
1
question
Communities
View all
About

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

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
14
bronze badges
Top tags
28
Score
5
Posts
100
Posts %
10
Score
1
Posts
20
Posts %
7
Score
1
Posts
20
Posts %
7
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
Top posts
question
18
Well-foundedness: classical equivalence of no infinite descent and accessibility
Mar 17, 2022
answer
10
How to replace a function by its body
Apr 16, 2022
answer
7
Why does this trivial proof fail with structuring tacticals?
Mar 27, 2022
answer
6
What is the most ergonomic way to eliminate multiple similar goals in Coq?
Apr 5
answer
5
For functions that are eq_dep equal, are their applications eq_dep equal without axioms?
Mar 18, 2022
Top network posts
View all network posts
23
OCaml |> operator
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?
8
Uploading file with jQuery Ajax
8
Cocoa application menu bar not clickable