{"ref":"v8.5","ref_type":"branch","master_branch":"master","description":"A library of abstract interfaces for mathematical structures in Coq.","pusher_type":"user"}
{"actor":{"display_login":"spitters"}}