)]}'
{
  "id": "3267b71277dcb326f86f879fe63a253953b323fc",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "1fcb1529f8e5e43037c4710ce09da0becd28823a",
      "name": ".gitignore"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b577ecc33e0ed7d4123126a63a78653f3aa91b9b",
      "name": "BoolExpr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a9c5e443524e8ea4cbfa29ab786b686a187be753",
      "name": "README.md"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "b08f3e3e48ad36b472ee918001d377f89a3c5874",
      "name": "dev"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "2d7e9176482fd065ef6e867eaff8d8e4ee71fd11",
      "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": "76d05497c69f8f9858a1e6f59c43e7f137845f81",
      "name": "std"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f0a740cf8a5a05879cc77b22b35fd44d7b76170d",
      "name": "style.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "961d5644a00b142218619d396ca7b6934cae00a5",
      "name": "syntax_example.lean"
    }
  ]
}