Hugging Face's logo

Spaces:
DineshAI
/
nPC7M7XLEv
Running

App Files Community
nPC7M7XLEv / current

Commit History

  1. Add Lean kernel verification for Claims 1 2 and 6⁠

    DineshAI
    Verified signature
    819b602

  1. Publish cumulative six-claim reproduction evidence

    DineshAI
    Verified signature
    e7c9bd3

  2. Add current claim verification evidence (part 2)

    DineshAI
    Verified signature
    a1e5699

  3. Add current claim verification evidence (part 1)

    DineshAI
    Verified signature
    c6eaad2