About Me
// Hello, World !
Top Answers
-
Is there a prefix notation in Lean?
5 votes
-
How to use the summation sign in lean?
3 votes
-
infix notation in Lean
2 votes
-
Proving A → ¬ (¬ A ∧ B) in Lean
1 votes
-
How do I prove this in Lean? p ∨ ¬p
0 votes