Li-Fan Chen says to YSITD
Linear logic 好難
at Wed, Apr 15, 2020 7:37 AM