3 ms·

It's a proof assistant. Not really something you use for number crunching, industry or not.

• eli_gottlieb 12y ago
  But a proof assistant for numerical programming would be extremely useful.