lean

29 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How to use the summation sign in lean?
user_165632510
•
3
2
302
lean libraries syntax
How to use sockets in Lean?
user_7998490
•
2
2
157
lean sockets
Cases tactic in Lean does not create hypothesis
user_165632510
•
5
1
108
lean proof
Define a function inside of a proof in Lean
user_165632510
•
4
1
152
lean syntax function
How can I apply a rewrite to only one term?
user_40406000
•
4
2
240
theorem-proving lean
how can I prove (∀ x, ¬ A x) → ¬ ∃ x, A x from principles in lean?
user_170295710
•
3
1
223
set-theory lean logic
Proving A → ¬ (¬ A ∧ B) in Lean
user_169526160
•
2
2
326
negation theorem-proving lean proof
Lean 4 'unknown identifier Proof'
user_109289100
•
1
2
483
theorem-proving lean proof
Is there a prefix notation in Lean?
user_7998490
•
3
1
99
lean operators
How do I prove this in Lean? p ∨ ¬p
user_154770990
•
2
2
142
lean logic
Hot Questions