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