Proof Assistants Beta
Reubend's user avatar
Reubend's user avatar
Reubend's user avatar
Reubend
  • Member for 1 year, 3 months
  • Last seen more than a week ago
Profile Activity
Stats
519
reputation
859
reached
0
answers
4
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
2
silver badges
8
bronze badges
Top tags
View all tags
0
Score
2
Posts
50
Posts %
0
Score
2
Posts
50
Posts %
0
Score
2
Posts
50
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
Top posts
All Questions Answers
Score Newest
question
16
Formalizations of unsolved problems
Mar 22, 2022
question
9
Generating valid statements without a proof goal
Mar 22, 2022
question
9
Are search heuristics the main bottleneck for automated theorem provers?
Feb 12, 2022
question
7
Understanding "saturating" theorem provers
Feb 12, 2022
Top Meta posts
1
0
13
Is this for assistants only, excluding automated provers?
Top network posts
View all network posts
56
Are US workers legally required to pay income taxes?
28
SendGrid Emails Getting Rejected as Spam
10
Is it possible to increase the breast size of a woman through massage?
8
Is an amber background color better for reading at night?
7
Were South Korean workers forcibly injected with amphetamines?

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.