{"library":"dafny","install":[{"cmd":"brew install dafny","imports":[]}]}