Closed impredicative closed 5 years ago
You have linked to other papers in the readme, but not to your own. Please always add a link to your Arxiv paper in your readme. The link is https://arxiv.org/abs/1802.00927
fixed, thanks!
You have linked to other papers in the readme, but not to your own. Please always add a link to your Arxiv paper in your readme. The link is https://arxiv.org/abs/1802.00927