{"library":"boogie","type":"cli","category":null,"description":"Verifiable programming language compiler and verification tool.","language":"c#","status":"active","version":"2.4.1+dfsg","tags":[],"last_verified":null,"install":[{"cmd":"apt install boogie","imports":[]}],"homepage":"http://research.microsoft.com/en-us/projects/boogie/","github":null,"docs":null,"changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null}