Spaces:

DineshAI
/

JnuwpwbZ8D

Running

App Files Files Community

JnuwpwbZ8D / notebooks

4.63 kB

Ctrl+K

Ctrl+K

1 contributor

History: 4 commits

DineshAI's picture

Publish universal theorem proof certificates for claims C1-C6

ee8ea1e verified 5 days ago

theorem_certificates.py

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