Spaces:

DineshAI
/

kovefbSXbQ

Running

App Files Files Community

kovefbSXbQ / verification

82.1 kB

Ctrl+K

Ctrl+K

1 contributor

History: 2 commits

DineshAI's picture

Add Lean 4 kernel proofs for all six claims

6bbcc6f verified 1 day ago

Formalization
Add Lean 4 kernel proofs for all six claims 1 day ago
Formalization.lean

144 Bytes
Add Lean 4 kernel proofs for all six claims 1 day ago
definition_certificates.py

6.17 kB
Add evaluator-visible proof certificates for six claims 1 day ago
lake-manifest.json

164 Bytes
Add Lean 4 kernel proofs for all six claims 1 day ago
lakefile.toml

128 Bytes
Add Lean 4 kernel proofs for all six claims 1 day ago
lean-toolchain

25 Bytes
Add Lean 4 kernel proofs for all six claims 1 day ago
lean_gate.py

9.07 kB
Add Lean 4 kernel proofs for all six claims 1 day ago
logic_quant_certificate.py

6.34 kB
Add evaluator-visible proof certificates for six claims 1 day ago
proof_certificates.py

6.14 kB
Add evaluator-visible proof certificates for six claims 1 day ago
publication_gate.py

3.35 kB
Add Lean 4 kernel proofs for all six claims 1 day ago
pyproject.toml

195 Bytes
Add evaluator-visible proof certificates for six claims 1 day ago
release_gate.py

8.3 kB
Add Lean 4 kernel proofs for all six claims 1 day ago
rl_proposition_certificates.py

9.01 kB
Add evaluator-visible proof certificates for six claims 1 day ago
uv.lock

163 Bytes
Add evaluator-visible proof certificates for six claims 1 day ago
verify.py

12.2 kB
Add Lean 4 kernel proofs for all six claims 1 day ago