)]}'
{
  "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."
}