GitHub PushEvent at 2014-12-28 13:01:37
Repository: software-foundations
Actor: pjstadig
Payload: {"shas":[["b7cecf3fe751af8f9b7ff9c1946eea553fedb519","a027184a55211cd23e3f3094f1fdc728df5e0500@stadig.name","Most of the Logic chapter.","Paul Stadig",true],["0e54279f8bf66a3b6d39970dd246bf31efb323f4","a027184a55211cd23e3f3094f1fdc728df5e0500@stadig.name","Proof of the classical axioms.\n\nExcept for de_morgan_not_and_not <-> implies_to_or.\n\nWith help from @suharahiromichi.","Paul Stadig",true],["e5ae273c6861718ceaf2bdeee272b7acbcf14c8d","a027184a55211cd23e3f3094f1fdc728df5e0500@stadig.name","Add link to suharahiromichi's repo.","Paul Stadig",true]],"size":3,"ref":"refs/heads/master","head":"e5ae273c6861718ceaf2bdeee272b7acbcf14c8d"}