Top Questions

1. Cases tactic in Lean does not create hypothesis
   5 votes

   1 answers
2. Define a function inside of a proof in Lean
   4 votes

   1 answers
3. How to use the summation sign in lean?
   3 votes

   2 answers
4. Generate module attributes in python
   2 votes

   3 answers
5. Use numpy functions on objects extending numbers.Real
   2 votes

   2 answers