Spaces:

DineshAI
/

JnuwpwbZ8D

Running

App Files Files Community

JnuwpwbZ8D / reports

16.9 kB

Ctrl+K

Ctrl+K

1 contributor

History: 5 commits

DineshAI's picture

Publish universal theorem proof certificates for claims C1-C6

ee8ea1e verified 5 days ago

theorem-certificates
Publish universal theorem proof certificates for claims C1-C6 5 days ago