logoalt Hacker News

charcircuit • yesterday at 7:36 PM • 0 replies • view on HN

The prompt does not mention Lean.