The Directed Van Kampen Theorem in Lean.

Henning Basold, Peter Bruin, Dominique Lawson

Browse the full ITP paper archive.