Snapkitty
/

cpsc-qft

october-2026-drop

quantum-field-theory

quantum-computing

Model card Files Files and versions

cpsc-qft / docs

Commit History

Sync from GitHub AHMADALIPARR/cpsc-qft@eacf0fa: README, ABSTRACT, PAPER.md and OPEN_PROBLEMS updated for the closed operator proof

f4aa173
verified

SNAPKITTYWEST commited on 4 days ago

Sync from GitHub AHMADALIPARR/cpsc-qft@2603e23: axiom-free Operator.lean, axiom audit

5736180
verified

SNAPKITTYWEST commited on 4 days ago

October 2026 main drop: mirror from GitHub

eef9104
verified

SNAPKITTYWEST commited on 4 days ago