Formalizing Graph Trail Properties in Isabelle/HOL

Published in In the proceedings of Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings, 2020

Recommended casfdsdfitation: Laura Kov{\'{a}}cs, Hanna Lachnitt, Stefan Szeider, "Formalizing Graph Trail Properties in Isabelle/HOL." In the proceedings of Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings, 2020. https://doi.org/10.1007/978-3-030-53518-6\_12