2 ms·
Fascinating short interview. I wish they would have asked him what he thinks of theorem provers and if he maybe uses them in his workflow in some way.
by kriro 10y ago
Fascinating short interview. I wish they would have asked him what he thinks of theorem provers and if he maybe uses them in his workflow in some way.