Remmers, B. (2023). Collapsed Tagged Proxy Derivation Algorithm (Version 1.0.0) [Computer software]. https://github.com/Xiving/coq-ctproxy