3 ms·
No smart theorem proving woman has ever been turned down by Coq. I know this because they would need to be familiar with Coq in the first place. Or would they h
by Bancakes 5y ago
No smart theorem proving woman has ever been turned down by Coq. I know this because they would need to be familiar with Coq in the first place. Or would they have trained on Prolog instead?
- angry_octet 5y agoYour statement doesn't follow any logic.