Hugging Face's logo

Snapkitty
/
cpsc-qft

snapkitty
october-2026-drop
ruby
python
lean4
qsharp
quantum-field-theory
lattice
compiler
quantum-computing
Model card Files
xet
 Community
cpsc-qft / paper /PAPER.md

Commit History

5 days ago

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

    SNAPKITTYWEST
    Verified signature
    4ddbfc7

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

    SNAPKITTYWEST
    Verified signature
    f4aa173

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

    SNAPKITTYWEST
    Verified signature
    5736180

  4. October 2026 main drop: mirror from GitHub

    SNAPKITTYWEST
    Verified signature
    eef9104