{"repository":{"description":"Regular Expression Equivalencia via Partial Derivation","watchers":0,"stargazers":0,"forks":0,"fork":false,"size":264,"owner":"dmrpereira","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Coq","created_at":"2013-06-23T04:50:51-07:00","pushed_at":"2013-07-15T18:25:52-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"David Pereira","company":"LIACC-UP","blog":"dpereira@liacc.up.pt","location":"Porto, Portugal","email":"884fc60fb8fac7aeb5862fffef65492dbb3e596d@gmail.com"},"url":"https://github.com/dmrpereira/PDCoq/compare/ff0a6fed16...edb3dcb1eb"}