{"push_id":2650859706,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c767ef177a8dc5158f8c7e4b4c310835c7e2450b","before":"9cc38c97284317a7a9bdef296f5f1c0e5d94a154","commits":[{"sha":"c767ef177a8dc5158f8c7e4b4c310835c7e2450b","author":{"name":"Aallzz","email":"9bc3ed0b3af25c9985933559d2ee02bb57c3da2b"},"message":"counter model in Heyting algebra for formulas with 3 variables","distinct":true,"url":"https://api.github.com/repos/Aallzz/math-logic-course/commits/c767ef177a8dc5158f8c7e4b4c310835c7e2450b"}]}
{"actor":{"display_login":"Aallzz"}}