Sync from GitHub AHMADALIPARR/cpsc-qft@34c4bab: add paper/PAPER.tex 4ddbfc7 verified SNAPKITTYWEST commited on 2 days ago
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 2 days ago
Sync from GitHub AHMADALIPARR/cpsc-qft@2603e23: axiom-free Operator.lean, axiom audit 5736180 verified SNAPKITTYWEST commited on 2 days ago