Hacker News new | ask | show | jobs
by throwaway260124 6 days ago
Why did Lean win over Isabelle?