Proof Assistants Beta
Pierre-Marie Pédrot's user avatar
Pierre-Marie Pédrot's user avatar
Pierre-Marie Pédrot's user avatar
Pierre-Marie Pédrot
  • Member for 1 year, 10 months
  • Last seen more than a week ago
Profile Activity

Summary

Tags

View all 37 tags
75
Score
6
posts
29
Score
2
posts
27
Score
2
posts
26
Score
2
posts
24
Score
3
posts

Reputation

This user has no recent positive reputation changes.

Badges

View all badges
This user doesn’t have any gold badges yet.
8
silver badges
17
bronze badges

Active bounties (0)

View all 0 bounties
Active Offered Earned

This user has no active bounties

Votes cast

View all 39 votes
34
upvotes
5
downvotes
7
question votes
32
answer votes

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.