As of May 31, 2023, we have updated our Code of Conduct.
Proof Assistants Beta
randomguest0002's user avatar
randomguest0002's user avatar
randomguest0002's user avatar
randomguest0002
Unregistered
  • Member for 19 days
  • Last seen more than a week ago
Profile Activity
Stats
29
reputation
97
reached
0
answers
1
question
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
bronze badge
Top tags
0
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
question
2
Organizing a Coq proof
May 16

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.