Closed impredicative closed 6 years ago
Please mention and link to the corresponding Arxiv paper in the readme. Thanks.
https://arxiv.org/abs/1804.03515
Thanks, done!
Please mention and link to the corresponding Arxiv paper in the readme. Thanks.
https://arxiv.org/abs/1804.03515