Hanna Lachnitt | AC Group | TU Wienhttps://ac.notready.eu/author/hanna-lachnitt/Hanna LachnittHugo Blox Builder (https://hugoblox.com)en-usWed, 01 Jan 2020 00:00:00 +0000https://ac.notready.eu/media/logo_hu10234977157890132473.pngHanna Lachnitthttps://ac.notready.eu/author/hanna-lachnitt/Formalizing Graph Trail Properties in Isabelle/HOLhttps://ac.notready.eu/publication/formalizing-graph-trail-properties-in-isabelle-hol-2/Wed, 01 Jan 2020 00:00:00 +0000https://ac.notready.eu/publication/formalizing-graph-trail-properties-in-isabelle-hol-2/Formalizing Graph Trail Properties in Isabelle/HOLhttps://ac.notready.eu/publication/formalizing-graph-trail-properties-in-isabelle-hol/Wed, 01 Jan 2020 00:00:00 +0000https://ac.notready.eu/publication/formalizing-graph-trail-properties-in-isabelle-hol/