{
  "title": "Basic Logic Proofs",
  "origin_url": "https://github.com/andrejbauer/andromeda/blob/master/examples/logic.m31",
  "license_guess": "BSD-2-Clause",
  "code_sha256": "b4a500fddfc0609ef0dadbd39467a2134deac5fe66e2bcee941b54c678bea13c",
  "added_at": "2026-02-07T18:47:09Z"
}