Top Answers

1. Proving that two strings are different in Lean
   3 votes
2. Lean 4 'unknown identifier Proof'
   2 votes
3. how can I prove (∀ x, ¬ A x) → ¬ ∃ x, A x from principles in lean?
   2 votes
4. Can I define assumptions in lean?
   1 votes
5. Apply function in goal in lean proof
   1 votes