/RezkCompletion

The Rezk completion as a higher inductive types

Primary LanguageCoq

Watchers