Comment by swagmoney1606

You may like Agda. I prefer Lean even though you are right about this.