Skip to main content
Proof Assistants Beta
Pierre Courtieu's user avatar
Pierre Courtieu's user avatar
Pierre Courtieu's user avatar
Pierre Courtieu
  • Member for 1 year, 9 months
  • Last seen more than a week ago
Profile Activity
Stats
146
reputation
1k
reached
5
answers
0
questions
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
View all tags
13
Score
5
Posts
100
Posts %
7
Score
1
Posts
20
Posts %
7
Score
1
Posts
20
Posts %
5
Score
2
Posts
40
Posts %
5
Score
2
Posts
40
Posts %
4
Score
1
Posts
20
Posts %
Top posts
answer
7
Inductive vs. recursive definitions
Apr 30, 2023
answer
4
How do I prove a record related lemma?
Dec 7, 2022
answer
1
Proof General tell Coq where a physical path is
Jun 12
answer
1
İnduction/inversion and others in coq
Aug 17, 2023
answer
0
Is there a way to rename parameters when including/reusing a module type in Coq?
Feb 5