Hacker News new | ask | show | jobs
by swagmoney1606 331 days ago
You may like Agda. I prefer Lean even though you are right about this.