{"push_id":2937179296,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e046e8e18195dd6a1f9e875414df465d6563d079","before":"239cb243150f8bc80f5edcbfdfd42a8f780e06d8","commits":[{"sha":"e046e8e18195dd6a1f9e875414df465d6563d079","author":{"name":"catrincm","email":"929fc4d8572d9fd3f099518be1e3b6ca34133765@gmail.com"},"message":"Simplifying TFL symbolisation discussions. Correcting nec and suff conditions discussion in TFL. Add exam package.\n\nSimplifying TFL symbolisation:\nrules are phrased in if...then.. way rather than visa versa. Always give simple rule first then look at alternatives eg `only if'\n\nNecessary and Sufficient conditions discussion said we could formulate it simply as the conditional, which is wrong: it needs necessarily involved.","distinct":true,"url":"https://api.github.com/repos/catrincm/forallx-bris/commits/e046e8e18195dd6a1f9e875414df465d6563d079"}]}
{"actor":{"display_login":"catrincm"}}