Hacker News new | ask | show | jobs
by Dewie 4214 days ago
It's a proof assistant. Not really something you use for number crunching, industry or not.
1 comments
eli_gottlieb 4213 days ago
But a proof assistant for numerical programming would be extremely useful.
link