Hacker News new | ask | show | jobs
by Syzygies 331 days ago
Thanks! Great idea, I'm not sure why it doesn't actually work better for Lean.