lean

29 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Can I define assumptions in lean?
user_181016390
•
1
1
25
lean
infix notation in Lean
user_2421890
•
1
1
33
lean
How to do cases on a function between finite types?
user_123075900
•
1
1
35
lean
Natural Number Game goals completed with error (invalid begin-end expression, comma expected)
user_115245270
•
1
1
31
peano-numbers lean multiplication numbers integer
When `rw` tactic in Lean completes the proof?
user_194187170
•
1
1
89
lean
Is Lean 4 lazy or strict?
user_7998490
•
3
1
161
lean lazy-evaluation
Dealing with Laws of Excluded Middle in Lean
user_151110560
•
3
0
93
lean
Comparing equal types in a definition
user_17400130
•
2
0
108
lean
Resolving a "diamond inheritance" class in lean
user_40406000
•
2
1
73
lean diamond-problem
How to prove that x < y → x ≤ y - 2 if both are odd or both are even in Lean?
user_29078490
•
2
2
96
lean formal-verification
Hot Questions