Spaces:
Running
Running
Commit History
-
Add Lean verification evidence for claims 4 and 5
Verified signature81674f5
-
Add theorem-level claim verification
Verified signaturec09976f -
Update logbook: Repro - Lipschitz Continuous Transformers
Verified signaturedf0a8cc -
initial commit
Verified signatureebffe8e