Spaces:

DineshAI
/

HDBpda5Vih

Running

App Files Files Community

HDBpda5Vih / repro /src

183 kB

Ctrl+K

Ctrl+K

1 contributor

History: 1 commit

DineshAI's picture

Publish direct evidence for all six registered claims

bd20a58 verified 5 days ago

build_space_candidate.py

18.1 kB
Publish direct evidence for all six registered claims 5 days ago
evidence_utils.py

2.45 kB
Publish direct evidence for all six registered claims 5 days ago
pld.py

2.68 kB
Publish direct evidence for all six registered claims 5 days ago
registered_claims.py

1.88 kB
Publish direct evidence for all six registered claims 5 days ago
verify_algorithm_contract.py

20.6 kB
Publish direct evidence for all six registered claims 5 days ago
verify_bernoulli_utility.py

18.8 kB
Publish direct evidence for all six registered claims 5 days ago
verify_exact_theorems.py

22.5 kB
Publish direct evidence for all six registered claims 5 days ago
verify_judge_contract.py

12.1 kB
Publish direct evidence for all six registered claims 5 days ago
verify_numerical_comparison.py

29.9 kB
Publish direct evidence for all six registered claims 5 days ago
verify_pld.py

1.37 kB
Publish direct evidence for all six registered claims 5 days ago
verify_preamble.py

22.2 kB
Publish direct evidence for all six registered claims 5 days ago
verify_preamble_anchor.py

6.27 kB
Publish direct evidence for all six registered claims 5 days ago
verify_preamble_collector.py

23.8 kB
Publish direct evidence for all six registered claims 5 days ago