cpsc-qft / paper

Commit History

Sync from GitHub AHMADALIPARR/cpsc-qft@34c4bab: add paper/PAPER.tex
4ddbfc7
verified

SNAPKITTYWEST commited on

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

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

SNAPKITTYWEST commited on

October 2026 main drop: mirror from GitHub
eef9104
verified

SNAPKITTYWEST commited on