paramarthacarca — 8 claims
- par-p01 — COMPLETE — paramarthacarca par-p01 (1) passes link checks; no formal theorems bound. Chunk gate UNKNOWN; no witness verified.
- par-p02 — COMPLETE — paramarthacarca par-p02 (2) passes link checks; no formal theorems bound. Chunk gate UNKNOWN; no witness verified.
- par-p03 — COMPLETE — paramarthacarca par-p03 (3) passes link checks; no formal theorems bound. Chunk gate UNKNOWN; no witness verified.
- par-p04 — COMPLETE — paramarthacarca par-p04 (4) passes link checks; no formal theorems bound. Chunk gate UNKNOWN; no witness verified.
- par-p05 — COMPLETE — paramarthacarca par-p05 (5) passes link checks; no formal theorems bound. Chunk gate UNKNOWN; no witness verified.
- par-p06 — COMPLETE — paramarthacarca par-p06 (6) passes link checks; no formal theorems bound. Chunk gate UNKNOWN; no witness verified.
- par-p07 — COMPLETE — paramarthacarca par-p07 (7) passes link checks; no formal theorems bound. Chunk gate UNKNOWN; no witness verified.
- par-p08 — COMPLETE — paramarthacarca par-p08 (8) passes link checks; no formal theorems bound. Chunk gate UNKNOWN; no witness verified.