{"push_id":2753739248,"size":14,"distinct_size":14,"ref":"refs/heads/implication","head":"13aedc22f78c8e07154dd4c53c54bb7ceae7a432","before":"5a703eb47c51b3f495f64fd3f8879de4fe064aa3","commits":[{"sha":"a7cc96028ab817a9c794aee531ade94108d82f61","author":{"name":"Adam W. Grant","email":"b14198aa29149900f75e17dabf035a14ac7962c9@yahoo.co.uk"},"message":"(3.71) Reflexivity of Implication","distinct":true,"url":"https://api.github.com/repos/elclavijero/derivations/commits/a7cc96028ab817a9c794aee531ade94108d82f61"},{"sha":"fa8d3269fd1fd96bc1e7ee31d42d31ceef30c448","author":{"name":"Adam W. Grant","email":"b14198aa29149900f75e17dabf035a14ac7962c9@yahoo.co.uk"},"message":"(3.72) Right zero of Implication","distinct":true,"url":"https://api.github.com/repos/elclavijero/derivations/commits/fa8d3269fd1fd96bc1e7ee31d42d31ceef30c448"},{"sha":"f62c483b903cfe3c5f0f387d67d4e13650d765ac","author":{"name":"Adam W. Grant","email":"b14198aa29149900f75e17dabf035a14ac7962c9@yahoo.co.uk"},"message":"(3.73) Left Identity of Implication","distinct":true,"url":"https://api.github.com/repos/elclavijero/derivations/commits/f62c483b903cfe3c5f0f387d67d4e13650d765ac"},{"sha":"889c02805e2a648ff238d97d9686d975c3e346e3","author":{"name":"Adam W. Grant","email":"b14198aa29149900f75e17dabf035a14ac7962c9@yahoo.co.uk"},"message":"(3.74)","distinct":true,"url":"https://api.github.com/repos/elclavijero/derivations/commits/889c02805e2a648ff238d97d9686d975c3e346e3"},{"sha":"7913b7487277ea6b4163fd7bf25bbb2e1352aab6","author":{"name":"Adam W. Grant","email":"b14198aa29149900f75e17dabf035a14ac7962c9@yahoo.co.uk"},"message":"(3.74.1)","distinct":true,"url":"https://api.github.com/repos/elclavijero/derivations/commits/7913b7487277ea6b4163fd7bf25bbb2e1352aab6"},{"sha":"e50d066d475a6192e86b467543987d8def7c1302","author":{"name":"Adam W. Grant","email":"b14198aa29149900f75e17dabf035a14ac7962c9@yahoo.co.uk"},"message":"(3.75)","distinct":true,"url":"https://api.github.com/repos/elclavijero/derivations/commits/e50d066d475a6192e86b467543987d8def7c1302"},{"sha":"2bd42e0ecc5efc513884f84a92fa38f9c330d4b9","author":{"name":"Adam W. Grant","email":"b14198aa29149900f75e17dabf035a14ac7962c9@yahoo.co.uk"},"message":"(3.76)(a) Weakening the Consequent","distinct":true,"url":"https://api.github.com/repos/elclavijero/derivations/commits/2bd42e0ecc5efc513884f84a92fa38f9c330d4b9"},{"sha":"4c699a3c2b6faadfa2c51f533a5eca21beb244bc","author":{"name":"Adam W. Grant","email":"b14198aa29149900f75e17dabf035a14ac7962c9@yahoo.co.uk"},"message":"(3.76)(b) Strengthening the consequent","distinct":true,"url":"https://api.github.com/repos/elclavijero/derivations/commits/4c699a3c2b6faadfa2c51f533a5eca21beb244bc"},{"sha":"6bbf55627cbcb9d64f13a0a8a83e5d4a6bcff0fd","author":{"name":"Adam W. Grant","email":"b14198aa29149900f75e17dabf035a14ac7962c9@yahoo.co.uk"},"message":"(3.76)(c) Weakening/Strengthening","distinct":true,"url":"https://api.github.com/repos/elclavijero/derivations/commits/6bbf55627cbcb9d64f13a0a8a83e5d4a6bcff0fd"},{"sha":"f968ed289b12c14d40663b5e2e8ef14c9330c093","author":{"name":"Adam W. Grant","email":"b14198aa29149900f75e17dabf035a14ac7962c9@yahoo.co.uk"},"message":"(3.76)(d)","distinct":true,"url":"https://api.github.com/repos/elclavijero/derivations/commits/f968ed289b12c14d40663b5e2e8ef14c9330c093"},{"sha":"6c1164234d07267a4bc2070127377431b695c256","author":{"name":"Adam W. Grant","email":"b14198aa29149900f75e17dabf035a14ac7962c9@yahoo.co.uk"},"message":"(3.76)(e)","distinct":true,"url":"https://api.github.com/repos/elclavijero/derivations/commits/6c1164234d07267a4bc2070127377431b695c256"},{"sha":"c9f19e3efac9e65bef562a4dd3d7f6f906febd77","author":{"name":"Adam W. Grant","email":"b14198aa29149900f75e17dabf035a14ac7962c9@yahoo.co.uk"},"message":"(3.76.1)","distinct":true,"url":"https://api.github.com/repos/elclavijero/derivations/commits/c9f19e3efac9e65bef562a4dd3d7f6f906febd77"},{"sha":"77ff33fa2b517ff0b73edab7ad70a3e301c26a65","author":{"name":"Adam W. Grant","email":"b14198aa29149900f75e17dabf035a14ac7962c9@yahoo.co.uk"},"message":"(3.77) Modus Ponens","distinct":true,"url":"https://api.github.com/repos/elclavijero/derivations/commits/77ff33fa2b517ff0b73edab7ad70a3e301c26a65"},{"sha":"13aedc22f78c8e07154dd4c53c54bb7ceae7a432","author":{"name":"Adam W. Grant","email":"b14198aa29149900f75e17dabf035a14ac7962c9@yahoo.co.uk"},"message":"Too much whitespace","distinct":true,"url":"https://api.github.com/repos/elclavijero/derivations/commits/13aedc22f78c8e07154dd4c53c54bb7ceae7a432"}]}
{"actor":{"display_login":"elclavijero"}}