Hugging Face's logo

Spaces:
ProCreations
/
repro-formal-problem-solving-framework-benchmark
Running

App Files Community
repro-formal-problem-solving-framework-benchmark
23.4 MB
  • 1 contributor
 History: 5 commits
ProCreations's picture
ProCreations
Replace formal benchmark shim with full Mathlib audit
243a534