Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning

Devs

Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning | Read Paper on Bytez