Recycling proof patterns in Coq: case studies
From MaRDI portal
Publication:475385
DOI10.1007/s11786-014-0173-1zbMath1302.68243arXiv1301.6039MaRDI QIDQ475385
Ekaterina Komendantskaya, Jónathan Heras
Publication date: 26 November 2014
Published in: Mathematics in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1301.6039
68T05: Learning and adaptive systems in artificial intelligence
Uses Software