A couple more formal systems(imperialviolet.org)4 points·by ayrx·قبل 12 سنة·0 commentsimperialviolet.orgA couple more formal systemshttps://www.imperialviolet.org/2014/09/11/moveprovers.html0 commentsPost comment—