{"repository":{"description":"A formalisation of Sturm's theorem in Isabelle with an executable decision procedure","watchers":2,"stargazers":2,"forks":0,"fork":false,"size":2912,"owner":"3of8","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Shell","created_at":"2013-09-03T21:45:03-07:00","pushed_at":"2013-11-18T13:46:38-08:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Carter Tazio Schonwald","company":"wellposed.com ","blog":"www.cstheory.net","location":"NYC, USA","email":"43229c4893050ac1b4dbb620060dc7240c0c66b6"},"url":"https://github.com/3of8/sturm"}