Old Web
English
Sign In
Acemap
>
Paper
>
Deep Generation of Coq Lemma Names Using Elaborated Terms. (arXiv:2004.07761v2 [cs.PL] UPDATED)
Deep Generation of Coq Lemma Names Using Elaborated Terms. (arXiv:2004.07761v2 [cs.PL] UPDATED)
2020
Pengyu Nie
Karl Palmskog
Junyi Jessy Li
Milos Gligoric
Keywords:
Mathematics
Discrete mathematics
Lemma (mathematics)
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]