The Poincare-Bendixson Theorem in Isabelle/HOL

POPL 2020