Hacker News new | ask | show | jobs
by charcircuit 18 days ago
The prompt does not mention Lean.