Proof Assistants Beta
Josh's user avatar
Josh's user avatar
Josh's user avatar
Josh
  • Member for 1 year, 9 months
  • Last seen more than a week ago
Profile Activity
Stats
297
reputation
533
reached
2
answers
0
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
3
silver badges
8
bronze badges
Top tags
17
Score
1
Posts
50
Posts %
17
Score
1
Posts
50
Posts %
17
Score
1
Posts
50
Posts %
1
Score
1
Posts
50
Posts %
1
Score
1
Posts
50
Posts %
Top posts
All Questions Answers
Score Newest
answer
17
Why is Isabelle usually not just Isabelle but Isabelle/<xyz>?
Feb 17, 2022
answer
1
How do I make use of an irrelevant equality in a proof?
Feb 28, 2022
Top network posts
View all network posts
79
Explicit space character?
37
Why does n! have the least time?
25
Can a particle be physically observed inside a quantum barrier?
20
Does a finite commutative ring necessarily have a unity?
18
Definitions and usage of Covariant, Form-invariant & Invariant?

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.