Snapkitty
/

cpsc-qft

october-2026-drop

quantum-field-theory

quantum-computing

Model card Files Files and versions

cpsc-qft / README.md

Commit History

Card: invite feedback via Discussions

d25b27e
verified

SNAPKITTYWEST commited on about 22 hours ago

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

4ddbfc7
verified

SNAPKITTYWEST commited on 3 days ago

Sync from GitHub AHMADALIPARR/cpsc-qft@9b102cf: remove Axioms.lean

feb1620
verified

SNAPKITTYWEST commited on 3 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 3 days ago

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

5736180
verified

SNAPKITTYWEST commited on 3 days ago

Model card: restore full README from GitHub, add commercial license option

fe635c8
verified

SNAPKITTYWEST commited on 3 days ago

October 2026 main drop: mirror from GitHub

eef9104
verified

SNAPKITTYWEST commited on 3 days ago