Formalizing Results on Directed Sets in Isabelle/HOL (Proof Pearl).

Akihisa Yamada, Jrmy Dubut

Browse the full ITP paper archive.