Theoretical Computer Science
Pierre Jouvelot's user avatar
Pierre Jouvelot's user avatar
Pierre Jouvelot's user avatar
Pierre Jouvelot
  • Member for 6 months
  • Last seen more than a month ago
  • Paris, France
Profile Activity
Stats
131
reputation
83
reached
1
answer
0
questions
Communities
About

My homepage

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Top tags
3
Score
1
Posts
100
Posts %
3
Score
1
Posts
100
Posts %
3
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
answer
3
Notation problem
Jun 1
Top network posts
View all network posts
6
How to write intermediate proof statements inside Coq - similar to how in Isar one has `have Statement using Lemma1, Lemma2 by auto` but in Coq?
6
Are there any ergonomic ways to deal with finite types in Coq?

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.