4 ms·

Are we starting to understand that? In what ways?

• actionfromafar 4y ago
  In small ways, formal verification of software, with Coq and such.
  • peteradio 4y ago
    Great way to increase adoption, name it Coq.