Pages that link to "Item:Q5048996"
From MaRDI portal
The following pages link to Deep Generation of Coq Lemma Names Using Elaborated Terms (Q5048996):
Displayed 1 item.
The following pages link to Deep Generation of Coq Lemma Names Using Elaborated Terms (Q5048996):
Displayed 1 item.