Proof Assistants Beta
CrabMan's user avatar
CrabMan's user avatar
CrabMan's user avatar
CrabMan
  • Member for 1 year, 9 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
8
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
All Questions Answers
Score Newest
question
15
What games are there?
Feb 13, 2022
question
8
How to prove `forall m n : nat, m == n -> m = n`?
Feb 15, 2022
question
5
Hide the value of a hypothesis introduced by `pose`, show only its type
Feb 19, 2022
question
1
Why is the normal form of an ind-Nat expression with a function type an elimination-of-a-function expression
Sep 4, 2022
question
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
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?
17
Configure github to use some other file as README
17
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?

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.