Proof Assistants Beta
HTNW's user avatar
HTNW's user avatar
HTNW's user avatar
HTNW
  • Member for 11 months
  • Last seen this week
Profile Activity
Stats
413
reputation
1k
reached
4
answers
1
question
Communities
View all
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
5
bronze badges
Top tags
View all tags
6
Score
2
Posts
40
Posts %
6
Score
1
Posts
20
Posts %
6
Score
1
Posts
20
Posts %
4
Score
1
Posts
20
Posts %
4
Score
1
Posts
20
Posts %
3
Score
1
Posts
20
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
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
3
How do I convince the Lean 4 type checker that addition is commutative?
May 11, 2022
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?
27
Monad laws expressed in terms of join instead of bind?
26
Without saying "cross product" explain why there is a skew-symmetric angular momentum tensor
24
What is the difference between a partition name and a partition label?

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.