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