Amato, Daniela A.; Cherlin, Gregory; Macpherson, H. Dugald Metrically homogeneous graphs of diameter \(3\). (English) Zbl 1490.03020 J. Math. Log. 21, No. 1, Article ID 2050020, 106 p. (2021). Reviewer: Vera Koponen (Uppsala) MSC: 03C15 03C10 03C13 05C25 05D10 05C12 20B22 20B27 03C65 × Cite Format Result Cite Review PDF Full Text: DOI
Alama, Jesse; Kahle, Reinhard Checking proofs. (English) Zbl 1330.00021 Aberdein, Andrew (ed.) et al., The argument of mathematics. Dordrecht: Springer (ISBN 978-94-007-6533-7/hbk; 978-94-007-6534-4/ebook). Logic, Epistemology, and the Unity of Science 30, 147-170 (2013). Reviewer: Manfred Kerber (Birmingham) MSC: 00A30 00A35 03-03 01A60 01A61 03B35 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
Dufourd, Jean-François An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps. (English) Zbl 1187.68525 J. Autom. Reasoning 43, No. 1, 19-51 (2009). MSC: 68T15 03B35 × Cite Format Result Cite Review PDF Full Text: DOI