{"push_id":1096737180,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"47229918db899fbd49e686fdc997eeb0f3117290","before":"afec9b93130572543958519a3f51d2cdb462ddc4","commits":[{"sha":"47229918db899fbd49e686fdc997eeb0f3117290","author":{"email":"47be9ca2e7a60d0a01d349006f6bef4b7f0d6788@m4x.org","name":"Simon Cruanes"},"message":"start a formalization of type inference for TLA","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/isabelle-nunchaku/commits/47229918db899fbd49e686fdc997eeb0f3117290"}]}