)]}'
{
  "lean4": {
    "name": "third_party/github.com/leanprover/lean4",
    "clone_url": "https://fuchsia.googlesource.com/third_party/github.com/leanprover/lean4",
    "description": "Lean 4 theorem prover and functional programming language."
  }
}