DMCA

Machine learning of Coq proof guidance: First experiments (2014)

by Cezary Kaliszyk , Lionel Mamane , Josef Urban
Venue:SCSS 2014, volume 30 of EPiC Series
Citations:2 - 2 self