)]}'
{
  "id": "5c63a8e0a004d92fcc82d8b4a1b8423601f0782d",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "b577ecc33e0ed7d4123126a63a78653f3aa91b9b",
      "name": "BoolExpr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a9c5e443524e8ea4cbfa29ab786b686a187be753",
      "name": "README.md"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "ef87bcbf82d61ad1cd5c0e6d708651a19e4827d4",
      "name": "dev"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "90d96c527a9261078142abecb383c39ac4cc9c6f",
      "name": "examples"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "6ce4dcf6ca5ccec51144ed0641504a04d4303246",
      "name": "images"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "8d2e29fda9fd3c5c1d354c3b3a438478dfa47ed7",
      "name": "latex"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "88c3f5c6421d49423fadf6cd6456dc752af4061b",
      "name": "make"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ee1b6c5d92b1585d70a3c6e1fff4429de433a669",
      "name": "metaprogramming-arith.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "46d684b3579b375c070c9d22457a10dedebd531a",
      "name": "perf.md"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "b9716847e5fc80d05ff1d0e5c86d23939b715729",
      "name": "std"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "32675893d55e73fc3e81928b00ef644f51f327ab",
      "name": "style.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "961d5644a00b142218619d396ca7b6934cae00a5",
      "name": "syntax_example.lean"
    }
  ]
}