A formal study of the Rezk completion
Date:
A workshop talk presented at the 30th International Conference on Types for Proofs and Programs.
The extended abstract can be found here.
Date:
A workshop talk presented at the 30th International Conference on Types for Proofs and Programs.
The extended abstract can be found here.