2 ms·You may like Agda. I prefer Lean even though you are right about this.by swagmoney1606 1y agoYou may like Agda. I prefer Lean even though you are right about this.