{"ref":null,"ref_type":"repository","master_branch":"master","description":"An introduction to proving theorems and certifying programs with Coq.","pusher_type":"user"}
{"actor":{"display_login":"stepchowfun"}}