GitHub repository: KevinQuirin/sheafification
Primary language: Coq
Description: Sheafification functor in type theory