221 followers
Formalizing Graph Trail Properties in Isabelle/HOL https://t.co/hIW1am9Jvj
Formalizing Graph Trail Properties in Isabelle/HOL https://t.co/hIW1am9Jvj
Formalizing graph trail properties in Isabelle/HOL. ~ Laura Kovacs, Hanna Lachnitt, Stefan Szeider. https://t.co/mf9PWx8grZ #ITP #IsabelleHOL #Math