Skip to main content
Proof Assistants Beta
tydeu's user avatar
tydeu's user avatar
tydeu's user avatar
tydeu
  • Member for 2 years, 10 months
  • Last seen more than 2 years ago
Profile Activity
Stats
361
reputation
2k
reached
3
answers
0
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
2
silver badges
5
bronze badges
Top tags
23
Score
3
Posts
100
Posts %
13
Score
1
Posts
33
Posts %
5
Score
1
Posts
33
Posts %
Top posts
answer
13
What are the differences between theorem, example, def, etc?
Jul 8, 2022
answer
5
How does Lean choose which decidability instance to use?
Feb 27, 2022
answer
5
How to prove a property of a conditional statement without using tactics in Lean?
Jul 2, 2022
Top network posts
View all network posts
18
LLVM stdin/stdout/stderr
14
LLVM stdin/stdout/stderr
9
Extending ruby in C - how to specify default argument values to function?
8
Ruby Keyword Arguments in C Extensions