Skip to main content
Proof Assistants Beta
CrabMan's user avatar
CrabMan's user avatar
CrabMan's user avatar
CrabMan
  • Member for 2 years, 5 months
  • Last seen this week
  • Moscow, Russia
Profile Activity
Stats
317
reputation
1k
reached
0
answers
5
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
9
bronze badges
Top tags
View all tags
0
Score
2
Posts
40
Posts %
0
Score
2
Posts
40
Posts %
0
Score
2
Posts
40
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
Top posts
15
What games are there?
Feb 13, 2022
8
How to prove `forall m n : nat, m == n -> m = n`?
Feb 15, 2022
5
Hide the value of a hypothesis introduced by `pose`, show only its type
Feb 19, 2022
1
Why is the normal form of an ind-Nat expression with a function type an elimination-of-a-function expression
Sep 4, 2022
1
Is it possible to prove (-> (= (Either Trivial Trivial) (left sole) (right sole)) Absurd) in Pie?
Sep 14, 2022
Top network posts
View all network posts
19
How not to copy-paste 3 generic error responses in almost all paths?
19
What's the easiest way to get Vim with Python 3 support?
18
How not to copy-paste 3 generic error responses in almost all paths?
14
Is there music where it makes no sense to talk about a tonic?
10
Am I supposed to draw cartoon faces in orthographic or perspective projection?