)]}'
{
  "id": "3e517c326e381008cc2fd0432979a31465a2c0b1",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "b577ecc33e0ed7d4123126a63a78653f3aa91b9b",
      "name": "BoolExpr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a9c5e443524e8ea4cbfa29ab786b686a187be753",
      "name": "README.md"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "5c978e4e4e5e68f93fd6cae0e5c1bb7371897fea",
      "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": "01fffdb7b44a35d7aad358fa24bc9f9d6f1496fd",
      "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"
    }
  ]
}