Dominique Lawson

Orcid: 0009-0008-2958-0543

According to our database¹, Dominique Lawson authored at least 2 papers in 2024.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2024

Directed Topology Lean 4.

[DOI]

Dataset, November, 2024

The Directed Van Kampen Theorem in Lean.

[DOI]

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024