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 1 year, 3 months
  • Last seen this week
Profile Activity
Stats
522
reputation
1k
reached
3
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.
2
silver badges
11
bronze badges
Top tags
21
Score
4
Posts
100
Posts %
9
Score
1
Posts
25
Posts %
7
Score
1
Posts
25
Posts %
7
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
Top posts
All Questions Answers
Score Newest
question
16
Well-foundedness: classical equivalence of no infinite descent and accessibility
Mar 17, 2022
answer
9
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
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

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.