)]}'
{
  "id": "f7a9759e28b48394bd2d0f5ef2596d8620b8df24",
  "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": "ab48a01cd038ac927ebe9a1f3d03f4f61a27cfa6",
      "name": "dev"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "98f3c8005e709c2809c2d070829dece68e649841",
      "name": "examples"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "6ce4dcf6ca5ccec51144ed0641504a04d4303246",
      "name": "images"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "8d2e29fda9fd3c5c1d354c3b3a438478dfa47ed7",
      "name": "latex"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "6b9493fa6e79f9557635fbd44a780e902c38b800",
      "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": "ad2a0ad7aff4d085e3e12f76ece18ed51d648447",
      "name": "std"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f0a740cf8a5a05879cc77b22b35fd44d7b76170d",
      "name": "style.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "961d5644a00b142218619d396ca7b6934cae00a5",
      "name": "syntax_example.lean"
    }
  ]
}