Doczkal, Christian; Pous, Damien Graph theory in Coq: minors, treewidth, and isomorphisms. (English) Zbl 1468.68320 J. Autom. Reasoning 64, No. 5, 795-825 (2020). MSC: 68V20 03B35 05C05 05C40 05C60 05C83 PDFBibTeX XMLCite \textit{C. Doczkal} and \textit{D. Pous}, J. Autom. Reasoning 64, No. 5, 795--825 (2020; Zbl 1468.68320) Full Text: DOI HAL
Müller, Dennis; Rabe, Florian; Sacerdoti Coen, Claudio The Coq library as a theory graph. (English) Zbl 1428.68344 Kaliszyk, Cezary (ed.) et al., Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11617, 171-186 (2019). MSC: 68V15 68V30 PDFBibTeX XMLCite \textit{D. Müller} et al., Lect. Notes Comput. Sci. 11617, 171--186 (2019; Zbl 1428.68344) Full Text: DOI