Closed impredicative closed 6 months ago
https://arxiv.org/abs/2405.12130
Thanks for the advice. I have added it to the readme title.
https://arxiv.org/abs/2405.12130