4 ms·
Anyone who was put off learning Coq by the name probably isn't the kind of person who'd grok or enjoy something as abstract and tedious as formal theorem provin
by logicchains 3y ago
Anyone who was put off learning Coq by the name probably isn't the kind of person who'd grok or enjoy something as abstract and tedious as formal theorem proving.