Skip to main content
Proof Assistants Beta
Josh's user avatar
Josh's user avatar
Josh's user avatar
Josh
  • Member for 2 years, 10 months
  • Last seen more than a week ago
Profile Activity
Stats
297
reputation
662
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
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
80
Explicit space character?
37
Why does n! have the least time?
27
Can a particle be physically observed inside a quantum barrier?
21
Does a finite commutative ring necessarily have a unity?
19
Definitions and usage of Covariant, Form-invariant & Invariant?