Spaces:

ProCreations
/

repro-formal-problem-solving-framework-benchmark

Running

App Files Files Community

repro-formal-problem-solving-framework-benchmark

23.4 MB

Ctrl+K

Ctrl+K

1 contributor

History: 5 commits

ProCreations's picture

Replace formal benchmark shim with full Mathlib audit

243a534 6 days ago