JSNice

swMATH37814MaRDI QIDQ53515FDOQ53515

Author name not available (Why is that?)

Described by source

• Predicting program properties from ``big code

Cited In (1)

• Deep Generation of Coq Lemma Names Using Elaborated Terms

This page was built for software: JSNice