Hugging Face's logo

NicolasT08
/
formal-mas

formal-mas
lean4
theorem-proving
multi-agent
mathlib
Model card Files
xet
 Community
formal-mas / scripts /run_baseline_b.py

Commit History

5 days ago

  1. Formal-MAS source code

    NicolasT08
    Verified signature
    dfe1826