Spaces:
Running
Running
Commit History
-
Add Lean kernel verification for Claims 1 2 and 6
Verified signatureAdditive text-only Lean evidence release. Parent revision: e7c9bd313c5bc8f5d252f0f5ac2dce3e087ba032. Allowlisted files: 28.819b602
-
Publish cumulative six-claim reproduction evidence
Verified signaturee7c9bd3 -
Activate current evaluator-visible claim package
Verified signature3445f49 -
Add current claim verification evidence (part 2)
Verified signaturea1e5699 -
Add current claim verification evidence (part 1)
Verified signaturec6eaad2
-
Update logbook: Convex Distance Operator Transport (nPC7M7XLEv)
Verified signature1f2e1bc -
initial commit
Verified signature6ac4e0e