Hacker News new | ask | show | jobs
by yuppiemephisto 186 days ago
Maybe (vibe) coding it in lean would be fun