{"push_id":1395783802,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"105e2c6d6d470b61bd42257b4d6077719ee82597","before":"8829b293501ad68e718bd0026ac951662e8ff95d","commits":[{"sha":"105e2c6d6d470b61bd42257b4d6077719ee82597","author":{"name":"Alban Linard","email":"ff9246c2a158738ebee153723a18902ac72580a6@linard.fr"},"message":"Fix type checking of several Theorem functions.","distinct":true,"url":"https://api.github.com/repos/cui-unige/proofs-ODabrowski/commits/105e2c6d6d470b61bd42257b4d6077719ee82597"}]}
{"actor":{"display_login":"saucisson"}}