The Rezk completion as a higher inductive types
Primary LanguageCoq
No issues in this repository yet.