Proof Assistants Beta
HTNW's user avatar
HTNW's user avatar
HTNW's user avatar
HTNW
  • Member for 1 year, 7 months
  • Last seen this week
Profile Activity
Stats
458
reputation
2k
reached
5
answers
1
question
top 25% this month
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
5
bronze badges
Top tags
View all tags
8
Score
3
Posts
50
Posts %
6
Score
1
Posts
17
Posts %
6
Score
1
Posts
17
Posts %
4
Score
1
Posts
17
Posts %
4
Score
1
Posts
17
Posts %
4
Score
1
Posts
17
Posts %
Top posts
All Questions Answers
Score Newest
question
9
What axioms do I need to search the naturals?
Apr 24, 2022
answer
6
Cannot discriminate `0 = 1`
Apr 15, 2022
answer
4
How do I convince the Lean 4 type checker that addition is commutative?
May 11, 2022
answer
4
Why do coinductive types require bisimilarity relations?
Jun 7, 2022
answer
3
How to write if_then_else function that accepts a type argument explicitly?
Mar 10
answer
2
How to express that two equivalence relations can setoid rewrite across each other (Coq)
Nov 17
Top network posts
View all network posts
65
Accidentally did dd /dev/sda
45
If diverging rays never meet, why do parallel rays meet at infinity?
28
What is the difference between a partition name and a partition label?
28
Monad laws expressed in terms of join instead of bind?
27
Without saying "cross product" explain why there is a skew-symmetric angular momentum tensor

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.