Closed impredicative closed 5 years ago
Please add a link in the readme to https://arxiv.org/abs/1810.12575
Done!
Please add a link in the readme to https://arxiv.org/abs/1810.12575