Spaces:

neonforestmist
/

repro-agentic-theorem-prover-theory

Running

App Files Files Community

repro-agentic-theorem-prover-theory / trackio-wordmark-dark.png

neonforestmist's picture

Publish exact six-claim CPU reproduction for hAQZl57Nvx

b7d6f4e verified 5 days ago

History Contribute Delete

89.8 kB