As of May 31, 2023, we have updated our Code of Conduct.
Proof Assistants Beta
Not An ITP Expert's user avatar
Not An ITP Expert's user avatar
Not An ITP Expert's user avatar
Not An ITP Expert
  • Member for 1 year, 3 months
  • Last seen more than a month ago
Profile Activity
Stats
200
reputation
360
reached
1
answer
0
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
9
bronze badges
Top tags
10
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
answer
10
How to search for an existing theorem in Lean?
Feb 12, 2022
Top network posts
View all network posts
14
String Comparison
13
Lean golf: Balanced Bracket Sequence
13
String Concatenate
12
All of the Boards
10
Language Word Checker

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.