{
  "title": "Basic Theorems",
  "origin_url": "https://github.com/RedPRL/redprl/blob/master/example/basics.prl",
  "license_guess": "MIT",
  "code_sha256": "150963e5f1264f61edc8756f315f792718ce2c18016b3233eabe72ce4b719fe5",
  "added_at": "2026-02-11T13:59:01Z"
}