Hacker News new | ask | show | jobs
by eli_gottlieb 4210 days ago
But a proof assistant for numerical programming would be extremely useful.