{"repository":{"description":"Mechanized metatheory of LF in Twelf.","watchers":7,"stargazers":7,"forks":0,"fork":false,"size":820,"owner":"chrisamaphone","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"created_at":"2012-06-03T11:33:52-07:00","pushed_at":"2012-06-03T11:55:35-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Aistis Raulinaitis","company":"Data Scientist & Language Architect","location":"Orange, CA","email":"d3e11a9b4c7db64b711a83cbbd036d728660857d@gmail.com"},"url":"https://github.com/chrisamaphone/lfinlf"}