A couple more formal systems(imperialviolet.org)4 points·by ayrx·12 lat temu·0 commentsimperialviolet.orgA couple more formal systemshttps://www.imperialviolet.org/2014/09/11/moveprovers.html0 commentsPost comment—