As of May 31, 2023, we have updated our Code of Conduct.
Proof Assistants Beta
Rob Lewis's user avatar
Rob Lewis's user avatar
Rob Lewis's user avatar
Rob Lewis
  • Member for 1 year, 3 months
  • Last seen more than a week ago
Profile Activity
Stats
583
reputation
486
reached
3
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
11
bronze badges
Top tags
45
Score
3
Posts
100
Posts %
30
Score
2
Posts
67
Posts %
15
Score
1
Posts
33
Posts %
13
Score
1
Posts
33
Posts %
13
Score
1
Posts
33
Posts %
Top posts
All Questions Answers
Score Newest
answer
17
How to track backwards-incompatible changes in mathlib?
Feb 8, 2022
answer
15
Finding symbols in Lean
Feb 9, 2022
answer
13
Extends vs including a typeclass argument
Feb 9, 2022
Top network posts
View all network posts
5
Proving substitution property of successor over equality

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.