globular Globular is a proof assistant for higher categories. For more details, go here: https://ncatlab.org/nlab/show/Globular