Skip to main content
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 2 years, 7 months
  • Last seen this week
Profile Activity

2,353 Reputation

Post Time Graph
+10
Aug 16
upvote +10
Why not have `Prop : Set` in Coq?
+10
Aug 12
upvote +10
Why not have `Prop : Set` in Coq?
-2
Jul 17
+10
Jun 30
+10
Jun 20
+20
May 5
+10
May 1
+10
Apr 28
+10
Apr 22
+10
Mar 27
+10
Feb 10
+10
Dec 31, 2023
+10
Oct 29, 2023
+10
Oct 8, 2023
+10
Jul 5, 2023
+10
Jun 23, 2023
+10
Feb 15, 2023
+10
Feb 14, 2023
+10
Feb 11, 2023
+10
Jan 27, 2023
+10
Jan 18, 2023
+10
Jan 16, 2023
+10
Jan 13, 2023
+10
Jan 1, 2023
+20
Dec 23, 2022
+10
Dec 18, 2022
+20
Nov 24, 2022
+10
Oct 26, 2022
-10
Oct 6, 2022
+10
Oct 3, 2022
1
2 3