Markakis, I. Agda formalisation of computads for ω-categories [Computer software]. https://github.com/jmarkakis/computads.agda