Hacker News new | ask | show | jobs
by throwawaymaths 334 days ago
kinda wild that an llm cant translate to lean?