Spaces:

ProCreations
/

repro-formal-problem-solving-framework-benchmark

Running

App Files Files Community

repro-formal-problem-solving-framework-benchmark / code

22.6 kB

Ctrl+K

Ctrl+K

1 contributor

History: 3 commits

ProCreations's picture

Replace formal benchmark shim with full Mathlib audit

243a534 6 days ago

full_official_environment_audit.py

4.01 kB
Replace formal benchmark shim with full Mathlib audit 6 days ago
lean_core_soundness_audit.lean

5.29 kB
Widen formal FPS evidence with Lean kernel audit 6 days ago
official_source_kernel_audit.py

5.92 kB
Compile official FPS source in kernel audit 6 days ago
verified_claim_protection.py

7.36 kB
Widen formal FPS evidence with Lean kernel audit 6 days ago