{
  "version": "1.0",
  "type": "contributor",
  "interval": "week",
  "date": "2025-02-02",
  "generatedAt": "2026-05-13T23:41:50.849Z",
  "sourceLastUpdated": "2026-05-13T23:41:50.849Z",
  "contentFormat": "markdown",
  "contentHash": "04a9bbc46dbe1c01bca92e1fa13555a6d7ae72dde4a13e4c243f6f907354e25f",
  "entity": {
    "username": "ImHangLi"
  },
  "content": "ImHangLi: Created issue #3352 requesting a Lean 4 Theorem Prover plugin, which has since been closed."
}