A couple more formal systemshttps://www.imperialviolet.org/2014/09/11/moveprovers.html by ayrx • 12 years ago 4 0 12 years agoIMimperialviolet.org