Closed impredicative closed 1 year ago
Perhaps the link to https://arxiv.org/abs/2211.03107 can be added to the readme.
Thanks for your suggestion. Our papers and links were updated in README, please check it out.
Perhaps the link to https://arxiv.org/abs/2211.03107 can be added to the readme.