The Directed Van Kampen Theorem in Lean. - Henning Basold; Peter Bruin; Dominique Lawson (ITP, 2024)

Directed Topology Lean 4. - Dominique Lawson (DROPS Artifacts, 2024)