{"ref":"jonaprieto-travis-badge","ref_type":"branch","master_branch":"master","description":"Haskell program for proving first-order theorems written in Agda using automatic theorem provers for first-order logic","pusher_type":"user"}
{"actor":{"display_login":"jonaprieto"}}