no code implementations • LREC 2018 • Javier {\'A}lvez, Itziar Gonzalez-Dios, German Rigau
Automated Theorem Proving