{
  "title": "Demo0 - Basic Theorem Proof",
  "origin_url": "http://us.metamath.org/downloads/demo0.mm",
  "license_guess": "Public Domain",
  "code_sha256": "c024fabab190c15b62c8c9b19d1a5356a488a3c918ddea9d894062145d946f88",
  "added_at": "2026-02-09T23:03:20Z"
}