{"push_id":599314166,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ef454b81d026ba70317d5b4454bc762bc00027b8","before":"8c636f1d63d68731e6541d2f32248f33751c08c6","commits":[{"sha":"ef454b81d026ba70317d5b4454bc762bc00027b8","author":{"email":"e886c8fc21e9615c31fe4e84f64cf36c5ad4e5fb@labri.fr","name":"Richard Moot"},"message":"Added forall/exists/iota to latex_atom","distinct":true,"url":"https://api.github.com/repos/RichardMoot/LinearOne/commits/ef454b81d026ba70317d5b4454bc762bc00027b8"}]}