Spaces:

DineshAI
/

xQLcklRDfM

Running

App Files Files Community

xQLcklRDfM / repro

26.5 kB

Ctrl+K

Ctrl+K

2 contributors

History: 2 commits

Dinesh Jinjala

Add symbolic theorem-proof verifiers for Claims 1-3 (VERIFIED via independently reconstructed symbolic derivations using SymPy)

7921e1e 6 days ago

src
Add symbolic theorem-proof verifiers for Claims 1-3 (VERIFIED via independently reconstructed symbolic derivations using SymPy) 6 days ago