Publication:5417200

From MaRDI portal


zbMath1288.68001MaRDI QIDQ5417200

Adam Chlipala

Publication date: 16 May 2014



Mathematics Subject Classification ID

68-02: Research exposition (monographs, survey articles) pertaining to computer science


Related Items

Coq


Uses Software


Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5417200&oldid=20166435"
Powered by MediaWiki